Andrew J. Kornecki

Learn More
The paper presents guidelines on criteria and procedures for evaluating software development tools used in safety-critical real-time systems. We present, first, a view of the taxonomy of software development tools from the perspective of the development process and the development environment. The investigation concentrates on evaluating the design tools,(More)
The Next Generation Air Traffic Management system (NextGen) is a blueprint of the future National Airspace System. Supporting NextGen is a nation-wide Aviation Simulation Network (ASN), which allows integration of a variety of real-time simulations to facilitate development and validation of the NextGen software by simulating a wide range of operational(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 society due to malfunctioning computer equipment or software. The essential requirements for these systems are so strict(More)
How to educate future engineers, so that they acquired new skills and competences to become developers of Cyber Physical Systems (CPS)? The paper demonstrates a curriculum framework that was developed and successfully implemented some years ago, as an outcome of two international projects undertaken by a consortium of the European and American universities.(More)
This paper presents an overview and discusses the role of certification in safety-critical computer systems focusing on software, and partially hardware, used in the civil aviation domain. It discusses certification activities according to RTCA DO-178B “Software Considerations in Airborne Systems and Equipment Certification” and touches on tool(More)
This paper discusses a role for industry in software engineering education, specifically presenting a university-industry partnership between the Cardiac Rhythm Management (CRM) organization at the Guidant Corporation and Embry-Riddle Aeronautical University (ERAU). The focus of the partnership is technology transition. The partnership involves fostering(More)
The paper describes activities leading to 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 various timing implications. Familiarity with real-time concepts and proper use of software engineering process to develop(More)
The paper discusses mutual relationships of safety and security properties in cyber-physical systems (CPS). Generally, safety impacts the system's environment while environment impacts security of a CPS. Very frequently, safety and security of a CPS interact with each other either synergistically or conflictingly. Therefore, a combined evaluation of safety(More)
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 software, failure mode and effect analysis, rigorous and formal software development are discussed. Copyright © 2003 IFAC