Transforming AdaPT to Ada

This paper describes how the main features of the proposed Ada language extensions intended to support distribution, and offered as possible solutions for Ada9X can be implemented by transformation into standard Ada83. We start by summarizing the features proposed in a paper (Gargaro et al, 1990) which constitutes the definition of the extensions. For convenience we have called the language in its modified form AdaPT which might be interpreted as Ada with partitions. These features were carefully chosen to provide support for the construction of executable modules for execution in nodes of a network of loosely coupled computers, but flexibly configurable for different network architectures and for recovery following failure, or adapting to mode changes. The intention in their design was to provide extensions which would not impact adversely on the normal use of Ada, and would fit well in style and feel with the existing standard. We begin by summarizing the features introduced in AdaPT

Study of fault-tolerant software technology

Presented is an overview of the current state of the art of fault-tolerant software and an analysis of quantitative techniques and models developed to assess its impact. It examines research efforts as well as experience gained from commercial application of these techniques. The paper also addresses the computer architecture and design implications on hardware, operating systems and programming languages (including Ada) of using fault-tolerant software in real-time aerospace applications. It concludes that fault-tolerant software has progressed beyond the pure research state. The paper also finds that, although not perfectly matched, newer architectural and language capabilities provide many of the notations and functions needed to effectively and efficiently implement software fault-tolerance

NASA space station automation: AI-based technology review. Executive summary

Research and Development projects in automation technology for the Space Station are described. Artificial Intelligence (AI) based technologies are planned to enhance crew safety through reduced need for EVA, increase crew productivity through the reduction of routine operations, increase space station autonomy, and augment space station capability through the use of teleoperation and robotics

NASA space station automation: AI-based technology review

Research and Development projects in automation for the Space Station are discussed. Artificial Intelligence (AI) based automation technologies are planned to enhance crew safety through reduced need for EVA, increase crew productivity through the reduction of routine operations, increase space station autonomy, and augment space station capability through the use of teleoperation and robotics. AI technology will also be developed for the servicing of satellites at the Space Station, system monitoring and diagnosis, space manufacturing, and the assembly of large space structures

How Copyright Law Can Fix Artificial Intelligence\u27s Implicit Bias Problem

As the use of artificial intelligence (AI) continues to spread, we have seen an increase in examples of AI systems reflecting or exacerbating societal bias, from racist facial recognition to sexist natural language processing. These biases threaten to overshadow AI’s technological gains and potential benefits. While legal and computer science scholars have analyzed many sources of bias, including the unexamined assumptions of its oftenhomogenous creators, flawed algorithms, and incomplete datasets, the role of the law itself has been largely ignored. Yet just as code and culture play significant roles in how AI agents learn about and act in the world, so too do the laws that govern them. This Article is the first to examine perhaps the most powerful law impacting AI bias: copyright. Artificial intelligence often learns to “think” by reading, viewing, and listening to copies of human works. This Article first explores the problem of bias through the lens of copyright doctrine, looking at how the law’s exclusion of access to certain copyrighted source materials may create or promote biased AI systems. Copyright law limits bias mitigation techniques, such as testing AI through reverse engineering, algorithmic accountability processes, and competing to convert customers. The rules of copyright law also privilege access to certain works over others, encouraging AI creators to use easily available, legally low-risk sources of data for teaching AI, even when those data are demonstrably biased. Second, it examines how a different part of copyright law—the fair use doctrine—has traditionally been used to address similar concerns in other technological fields, and asks whether it is equally capable of addressing them in the field of AI bias. The Article ultimately concludes that it is, in large part because the normative values embedded within traditional fair use ultimately align with the goals of mitigating AI bias and, quite literally, creating fairer AI systems

Mental Health Courts and Title II of the ADA: Accessibility to State Court Systems for Individuals with Mental Disabilities and the Need for Diversion

Access to the judicial system, a fundamental right that has paramount importance in our society, can often present obstacles to people with disabilities in a variety of significant ways. Yet Title II mandates that state and local judicial facilities be accessible to individuals with disabilities. Recent shifts in paradigmatic approaches to special populations such as drug offenders and offenders with mental disabilities have lead to the creation of mental health courts specifically designed to address the needs of the persons with mental disabilities in order to avoid incarceration. Early outcomes in states like Ohio suggest mental health courts may better serve the purposes of Title II and, more importantly, the needs of individuals with serious mental disabilities. This paper gives a more detailed account of the background and history of the disability antidiscrimination legislation, takes a closer look at the Supreme Court\u27s decision in Tennessee v. Lane, and discusses the historical context giving rise to the creation of mental health courts. Next, this paper explores the challenges and criticisms faced by these specialty courts, evaluates mental health courts under two integral concepts of Title II, accessibility and integration, and concludes that mental health courts may withstand scrutiny under Title II

Mental Health Courts and Title II of the ADA: Accessibility to State Court Systems for Individuals with Mental Disabilities and the Need for Diversion

Access to the judicial system, a fundamental right that has paramount importance in our society, can often present obstacles to people with disabilities in a variety of significant ways. Yet Title II mandates that state and local judicial facilities be accessible to individuals with disabilities. Recent shifts in paradigmatic approaches to special populations such as drug offenders and offenders with mental disabilities have lead to the creation of mental health courts specifically designed to address the needs of the persons with mental disabilities in order to avoid incarceration. Early outcomes in states like Ohio suggest mental health courts may better serve the purposes of Title II and, more importantly, the needs of individuals with serious mental disabilities. This paper gives a more detailed account of the background and history of the disability antidiscrimination legislation, takes a closer look at the Supreme Court\u27s decision in Tennessee v. Lane, and discusses the historical context giving rise to the creation of mental health courts. Next, this paper explores the challenges and criticisms faced by these specialty courts, evaluates mental health courts under two integral concepts of Title II, accessibility and integration, and concludes that mental health courts may withstand scrutiny under Title II

Proceedings Work-In-Progress Session of the 13th Real-Time and Embedded Technology and Applications Symposium

The Work-In-Progress session of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS\u2707) presents papers describing contributions both to state of the art and state of the practice in the broad field of real-time and embedded systems. The 17 accepted papers were selected from 19 submissions. This proceedings is also available as Washington University in St. Louis Technical Report WUCSE-2007-17, at http://www.cse.seas.wustl.edu/Research/FileDownload.asp?733. Special thanks go to the General Chairs – Steve Goddard and Steve Liu and Program Chairs - Scott Brandt and Frank Mueller for their support and guidance