Embry-Riddle Aeronautical University
Electrical, Computer, Software, and System Engineering
This paper reviews some results in improving software safety in computer control systems. The discussion covers various aspects of the software development process, as opposed to the product features. Software diversity, off-the-shelf... more
The paper describes activities leading to the support of an academic instruction and industrial training in the area of time critical software development. Most of the modern software deals with external interfaces and has to consider... more
Since the early years of computing, programmers, systems analysts, and software engineers have sought ways to improve development process efficiency. Software development tools are programs that help developers create other programs and... more
The paper presents various views of the criteria to be selected for evaluation of software tools used in the development of safety-critical real-time systems. It focuses on the avionics application area and derives a model for tool... more
In recent decades, safety has emerged as a major issue in many embedded applications in the aerospace, aircraft, automobile, railways, nuclear, medical, and other industries. Safety in this context means avoiding harm to individuals or... more