A.J. Kornecki | Embry-Riddle Aeronautical University (original) (raw)
Papers by A.J. Kornecki
© IFAC 2010. This work is posted here by permission of IFAC for your personal use. Not for distri... more © IFAC 2010. This work is posted here by permission of IFAC for your personal use. Not for distribution. The original version was published in ifac-
Abstract. Embedded software and dedicated hardware are vital elements of the modern world, from p... more Abstract. Embedded software and dedicated hardware are vital elements of the modern world, from personal electronics to transportation, from communication to aerospace, from military to gaming, from medical systems to banking. Combinations of even minor hardware or software defects in a complex system may lead to violation of safety with or even without evident system failure. a major problem that the computing profession faces is the lack of a universal approach to unite the dissimilar viewpoints presented by computer science, with its discrete and mathematical underpinnings, and by computer engineering, which focuses on building real systems and considering spatial and material constraints of space, energy, and time. Modern embedded systems include both viewpoints: microprocessors running software and programmable electronic hardware created with an extensive use of software. The gap between science and engineering approaches is clearly visible in engineering education. This surve...
This paper describes a six-year partnership between an academic department and a leading maker of... more This paper describes a six-year partnership between an academic department and a leading maker of softwaredependent medical devices. Central to the collaboration is a campus research laboratory, sponsored by the industrial partner. The laboratory is a venue for software engineering graduate students, under faculty mentorship, to engage in applied and technology transfer-oriented research on safety-critical software technologies and practices. It provides a real-world learning environment that complements and enriches classroom experiences. The industry sponsor has direct access to the detailed results of the research and to well-prepared graduates who know their organization’s technology, engineering practices, challenges, and culture. A hallmark of the laboratory is student teams working under conditions that reflect a real-world industry environment (structured processes, schedules, presentations, and professional work products). The investigations focus on the implications of mod...
Software in safety critical systems allows developers to implement complex functionality includin... more Software in safety critical systems allows developers to implement complex functionality including safety hazards mitigation. Software may also introduce hazards by performing incorrect computation resulting in a wrong or undesired output, producing output in wrong time, or not producing it at all. The impact of safety requirements on selection of the language, design solutions, and implementation details are discussed in this paper. Certain languages tolerate developers to use error prone practices not quite appropriate for a safety-critical system. A popularity of object-oriented languages, modeling paradigm, and proliferation of Automatic Code Generation tools cause that a model can now be used as implementation conduit, rather than just analysis or design artifact. The paper describes changing perspective on development of safety critical system with the level of abstraction moving to the early lifecycle phases from coding up to the architectural design, and increasing use of a ...
IEEE Potentials, 1998
Reactive and time-critical software is used when safety is the issue and the margin for errors is... more Reactive and time-critical software is used when safety is the issue and the margin for errors is narrow. The issues of timing, concurrency, interprocess communication, resource sharing and external device handling are very important. Graduates who understand how the software will interact with the operating system and the environment are in high demand. In an effort to provide students with such knowledge, the Embry-Riddle Aeronautical University has been offering real-time courses. These courses use the standard UNIX platform and Ada as the implementation language to support concurrency and software engineering practices. A dedicated real-time laboratory was also designed. The laboratory contains hardware (complete computers and interface devices) for teaching both soft and hard real-time concepts. Resources include a wide variety of hardware platforms operating different UNIX-like operating systems. The real-time laboratory supports time-critical software development with full pr...
This paper presents an overview and discusses the role of certification in safety-critical comput... more This paper presents an overview and discusses the role of certification in safety-critical computer systems focus-ing 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 qualification according to RTCA DO-254 " Design Assurance Guidance for Airborne Electronic Hardware. " Specifically , certification issues as related to real-time operating systems and programming languages are reviewed, as well as software development tools and complex electronic hardware tool qualification processes are discussed. Results of an independent industry survey done by the authors are also presented.
This paper presents a new method to evaluate software safety using a rough sets theory. The data ... more This paper presents a new method to evaluate software safety using a rough sets theory. The data about the software product and process are collected via the questionnaire. The result is the direct assessment of the software safety in terms of a single coeecient, whose goodness is then analyzed using the rough sets. An automatic tool for the Windows platform has been developed to help in the interactive analysis. Results from a real experiment of software safety evaluation are discussed.
This paper presents a new method to evaluate software safety using a rough sets theory. The data ... more This paper presents a new method to evaluate software safety using a rough sets theory. The data about the software product and process are collected via the questionnaire. The result is the direct assessment of the software safety in terms of a single coeecient, whose goodness is then analyzed using the rough sets. An automatic tool for the Windows platform has been developed to help in the interactive analysis. Results from a real experiment of software safety evaluation are discussed.
This paper discusses a role for industry in software engineering education, specifically presenti... 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 students' professional development, providing students experience solving real-world problems, and exploring modern directions of software engineering. The critical component of the partnership is a student-oriented research laboratory. After discussing the background and history of the project, we focus on the partnership's accomplishments. These include facilitating the transition of graduates from student to employee by developing in them extended software engineering skills and in-depth understanding of the application domain.
ACM SIGART Bulletin, 1989
Proceedings Tenth Conference on Software Engineering Education and Training, 1997
2008 19th EAEEIE Annual Conference, 2008
2009 EAEEIE Annual Conference, 2009
2009 EAEEIE Annual Conference, 2009
2011 IEEE 35th Annual Computer Software and Applications Conference Workshops, 2011
IEEE Transactions on Control Systems Technology, 1993
A system designed for air traffic control (ATC) training is described. The system consists of a c... more A system designed for air traffic control (ATC) training is described. The system consists of a computer simulation of an ATC radar workstation, a computer model of an ATC expert and other components that allow for automatic evaluation and coaching of an ATC student. The rationale for such a system is presented, along with a discussion of computer intelligent training methodologies. The architectural design of the system is described and those design features implemented in the current version of the system are discussed. Finally, there is a discussion of current and future research and system development: ideas for incorporating intelligent tutoring into the system software, techniques to be used by the system in evaluating student performance, and parameters and metrics to be used in generating ATC training exercises
© IFAC 2010. This work is posted here by permission of IFAC for your personal use. Not for distri... more © IFAC 2010. This work is posted here by permission of IFAC for your personal use. Not for distribution. The original version was published in ifac-
Abstract. Embedded software and dedicated hardware are vital elements of the modern world, from p... more Abstract. Embedded software and dedicated hardware are vital elements of the modern world, from personal electronics to transportation, from communication to aerospace, from military to gaming, from medical systems to banking. Combinations of even minor hardware or software defects in a complex system may lead to violation of safety with or even without evident system failure. a major problem that the computing profession faces is the lack of a universal approach to unite the dissimilar viewpoints presented by computer science, with its discrete and mathematical underpinnings, and by computer engineering, which focuses on building real systems and considering spatial and material constraints of space, energy, and time. Modern embedded systems include both viewpoints: microprocessors running software and programmable electronic hardware created with an extensive use of software. The gap between science and engineering approaches is clearly visible in engineering education. This surve...
This paper describes a six-year partnership between an academic department and a leading maker of... more This paper describes a six-year partnership between an academic department and a leading maker of softwaredependent medical devices. Central to the collaboration is a campus research laboratory, sponsored by the industrial partner. The laboratory is a venue for software engineering graduate students, under faculty mentorship, to engage in applied and technology transfer-oriented research on safety-critical software technologies and practices. It provides a real-world learning environment that complements and enriches classroom experiences. The industry sponsor has direct access to the detailed results of the research and to well-prepared graduates who know their organization’s technology, engineering practices, challenges, and culture. A hallmark of the laboratory is student teams working under conditions that reflect a real-world industry environment (structured processes, schedules, presentations, and professional work products). The investigations focus on the implications of mod...
Software in safety critical systems allows developers to implement complex functionality includin... more Software in safety critical systems allows developers to implement complex functionality including safety hazards mitigation. Software may also introduce hazards by performing incorrect computation resulting in a wrong or undesired output, producing output in wrong time, or not producing it at all. The impact of safety requirements on selection of the language, design solutions, and implementation details are discussed in this paper. Certain languages tolerate developers to use error prone practices not quite appropriate for a safety-critical system. A popularity of object-oriented languages, modeling paradigm, and proliferation of Automatic Code Generation tools cause that a model can now be used as implementation conduit, rather than just analysis or design artifact. The paper describes changing perspective on development of safety critical system with the level of abstraction moving to the early lifecycle phases from coding up to the architectural design, and increasing use of a ...
IEEE Potentials, 1998
Reactive and time-critical software is used when safety is the issue and the margin for errors is... more Reactive and time-critical software is used when safety is the issue and the margin for errors is narrow. The issues of timing, concurrency, interprocess communication, resource sharing and external device handling are very important. Graduates who understand how the software will interact with the operating system and the environment are in high demand. In an effort to provide students with such knowledge, the Embry-Riddle Aeronautical University has been offering real-time courses. These courses use the standard UNIX platform and Ada as the implementation language to support concurrency and software engineering practices. A dedicated real-time laboratory was also designed. The laboratory contains hardware (complete computers and interface devices) for teaching both soft and hard real-time concepts. Resources include a wide variety of hardware platforms operating different UNIX-like operating systems. The real-time laboratory supports time-critical software development with full pr...
This paper presents an overview and discusses the role of certification in safety-critical comput... more This paper presents an overview and discusses the role of certification in safety-critical computer systems focus-ing 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 qualification according to RTCA DO-254 " Design Assurance Guidance for Airborne Electronic Hardware. " Specifically , certification issues as related to real-time operating systems and programming languages are reviewed, as well as software development tools and complex electronic hardware tool qualification processes are discussed. Results of an independent industry survey done by the authors are also presented.
This paper presents a new method to evaluate software safety using a rough sets theory. The data ... more This paper presents a new method to evaluate software safety using a rough sets theory. The data about the software product and process are collected via the questionnaire. The result is the direct assessment of the software safety in terms of a single coeecient, whose goodness is then analyzed using the rough sets. An automatic tool for the Windows platform has been developed to help in the interactive analysis. Results from a real experiment of software safety evaluation are discussed.
This paper presents a new method to evaluate software safety using a rough sets theory. The data ... more This paper presents a new method to evaluate software safety using a rough sets theory. The data about the software product and process are collected via the questionnaire. The result is the direct assessment of the software safety in terms of a single coeecient, whose goodness is then analyzed using the rough sets. An automatic tool for the Windows platform has been developed to help in the interactive analysis. Results from a real experiment of software safety evaluation are discussed.
This paper discusses a role for industry in software engineering education, specifically presenti... 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 students' professional development, providing students experience solving real-world problems, and exploring modern directions of software engineering. The critical component of the partnership is a student-oriented research laboratory. After discussing the background and history of the project, we focus on the partnership's accomplishments. These include facilitating the transition of graduates from student to employee by developing in them extended software engineering skills and in-depth understanding of the application domain.
ACM SIGART Bulletin, 1989
Proceedings Tenth Conference on Software Engineering Education and Training, 1997
2008 19th EAEEIE Annual Conference, 2008
2009 EAEEIE Annual Conference, 2009
2009 EAEEIE Annual Conference, 2009
2011 IEEE 35th Annual Computer Software and Applications Conference Workshops, 2011
IEEE Transactions on Control Systems Technology, 1993
A system designed for air traffic control (ATC) training is described. The system consists of a c... more A system designed for air traffic control (ATC) training is described. The system consists of a computer simulation of an ATC radar workstation, a computer model of an ATC expert and other components that allow for automatic evaluation and coaching of an ATC student. The rationale for such a system is presented, along with a discussion of computer intelligent training methodologies. The architectural design of the system is described and those design features implemented in the current version of the system are discussed. Finally, there is a discussion of current and future research and system development: ideas for incorporating intelligent tutoring into the system software, techniques to be used by the system in evaluating student performance, and parameters and metrics to be used in generating ATC training exercises