The Experts below are selected from a list of 6009 Experts worldwide ranked by ideXlab platform
Kelly J. Hayhurst - One of the best experts on this subject based on the ideXlab platform.
-
Software verification plan for GCS
2013Co-Authors: Anita M. Shagnea, Leslie A. Dent, Kelly J. HayhurstAbstract:This verification plan is written as part of an experiment designed to study the fundamental characteristics of the software failure process. The experiment will be conducted using several implementations of software that were produced according to industry-standard guidelines, namely the Radio Technical Commission for Aeronautics RTCA/DO-178A guidelines, Software Consideration in Airborne Systems and Equipment Certification, for the development of flight software. This plan fulfills the DO-178A requirements for providing instructions on the testing of each implementation of software. The plan details the verification activities to be performed at each phase in the development process, contains a step by step description of the testing procedures, and discusses all of the tools used throughout the verification process.
-
Guidance and Control Software Project Data - Volume 2: Development Documents
2008Co-Authors: Kelly J. HayhurstAbstract:The Guidance and Control Software (GCS) project was the last in a series of software reliability studies conducted at Langley Research Center between 1977 and 1994. The technical results of the GCS project were recorded after the experiment was completed. Some of the support documentation produced as part of the experiment, however, is serving an unexpected role far beyond its original project context. Some of the software used as part of the GCS project was developed to conform to the RTCA/DO-178B software standard, "Software Considerations in Airborne Systems and Equipment Certification," used in the civil aviation industry. That standard requires extensive documentation throughout the software development life cycle, including plans, software requirements, design and source code, verification cases and results, and configuration management and quality control data. The project documentation that includes this information is open for public scrutiny without the legal or safety implications associated with comparable data from an avionics manufacturer. This public availability has afforded an opportunity to use the GCS project documents for DO-178B training. This report provides a brief overview of the GCS project, describes the 4-volume set of documents and the role they are playing in training, and includes the development documents from the GCS project. Volume 2 contains three appendices: A. Guidance and Control Software Development Specification; B. Design Description for the Pluto Implementation of the Guidance and Control Software; and C. Source Code for the Pluto Implementation of the Guidance and Control Software
-
Guidance and Control Software Project Data - Volume 1: Planning Documents
2008Co-Authors: Kelly J. HayhurstAbstract:The Guidance and Control Software (GCS) project was the last in a series of software reliability studies conducted at Langley Research Center between 1977 and 1994. The technical results of the GCS project were recorded after the experiment was completed. Some of the support documentation produced as part of the experiment, however, is serving an unexpected role far beyond its original project context. Some of the software used as part of the GCS project was developed to conform to the RTCA/DO-178B software standard, "Software Considerations in Airborne Systems and Equipment Certification," used in the civil aviation industry. That standard requires extensive documentation throughout the software development life cycle, including plans, software requirements, design and source code, verification cases and results, and configuration management and quality control data. The project documentation that includes this information is open for public scrutiny without the legal or safety implications associated with comparable data from an avionics manufacturer. This public availability has afforded an opportunity to use the GCS project documents for DO-178B training. This report provides a brief overview of the GCS project, describes the 4-volume set of documents and the role they are playing in training, and includes the planning documents from the GCS project. Volume 1 contains five appendices: A. Plan for Software Aspects of Certification for the Guidance and Control Software Project; B. Software Development Standards for the Guidance and Control Software Project; C. Software Verification Plan for the Guidance and Control Software Project; D. Software Configuration Management Plan for the Guidance and Control Software Project; and E. Software Quality Assurance Activities.
-
Guidance and Control Software Project Data Volume 3: Verification Documents
2008Co-Authors: Kelly J. HayhurstAbstract:The Guidance and Control Software (GCS) project was the last in a series of software reliability studies conducted at Langley Research Center between 1977 and 1994. The technical results of the GCS project were recorded after the experiment was completed. Some of the support documentation produced as part of the experiment, however, is serving an unexpected role far beyond its original project context. Some of the software used as part of the GCS project was developed to conform to the RTCA/DO-178B software standard, "Software Considerations in Airborne Systems and Equipment Certification," used in the civil aviation industry. That standard requires extensive documentation throughout the software development life cycle, including plans, software requirements, design and source code, verification cases and results, and configuration management and quality control data. The project documentation that includes this information is open for public scrutiny without the legal or safety implications associated with comparable data from an avionics manufacturer. This public availability has afforded an opportunity to use the GCS project documents for DO-178B training. This report provides a brief overview of the GCS project, describes the 4-volume set of documents and the role they are playing in training, and includes the verification documents from the GCS project. Volume 3 contains four appendices: A. Software Verification Cases and Procedures for the Guidance and Control Software Project; B. Software Verification Results for the Pluto Implementation of the Guidance and Control Software; C. Review Records for the Pluto Implementation of the Guidance and Control Software; and D. Test Results Logs for the Pluto Implementation of the Guidance and Control Software.
-
Guidance and Control Software Project Data - Volume 4: Configuration Management and Quality Assurance Documents
2008Co-Authors: Kelly J. HayhurstAbstract:The Guidance and Control Software (GCS) project was the last in a series of software reliability studies conducted at Langley Research Center between 1977 and 1994. The technical results of the GCS project were recorded after the experiment was completed. Some of the support documentation produced as part of the experiment, however, is serving an unexpected role far beyond its original project context. Some of the software used as part of the GCS project was developed to conform to the RTCA/DO-178B software standard, "Software Considerations in Airborne Systems and Equipment Certification," used in the civil aviation industry. That standard requires extensive documentation throughout the software development life cycle, including plans, software requirements, design and source code, verification cases and results, and configuration management and quality control data. The project documentation that includes this information is open for public scrutiny without the legal or safety implications associated with comparable data from an avionics manufacturer. This public availability has afforded an opportunity to use the GCS project documents for DO-178B training. This report provides a brief overview of the GCS project, describes the 4-volume set of documents and the role they are playing in training, and includes configuration management and quality assurance documents from the GCS project. Volume 4 contains six appendices: A. Software Accomplishment Summary for the Guidance and Control Software Project; B. Software Configuration Index for the Guidance and Control Software Project; C. Configuration Management Records for the Guidance and Control Software Project; D. Software Quality Assurance Records for the Guidance and Control Software Project; E. Problem Report for the Pluto Implementation of the Guidance and Control Software Project; and F. Support Documentation Change Reports for the Guidance and Control Software Project.
Peter Heller - One of the best experts on this subject based on the ideXlab platform.
-
object oriented software considerations in airborne systems and Equipment Certification
Conference on Object-Oriented Programming Systems Languages and Applications, 2010Co-Authors: Michael R Elliott, Peter HellerAbstract:This is a practitioner's discussion of the production of software in airborne systems which operate in civil airspace and the changes impacting it with the introduction of DO-178C/ED-12C, the emerging standard for the development of safety-critical software in airborne systems. A focus is made on the impact of the object-oriented supplement to this document which establishes, for the first time, a standard for the use of object-oriented programming and design in this environment. Discussion is made of the state of airworthiness Certification where software is concerned, the existing standard DO-178B/ED-12B[1], its history, perceived shortcomings, existing practice and how that may change with the new standard. Additionally, an overview is given of how this supplement introduces a formal type theory basis for reducing the amount of verification an applicant for airworthiness must demonstrate in order to provide the necessary safety assurance for an airborne system.
-
SPLASH/OOPSLA Companion - Object-oriented software considerations in airborne systems and Equipment Certification
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '10, 2010Co-Authors: Michael R Elliott, Peter HellerAbstract:This is a practitioner's discussion of the production of software in airborne systems which operate in civil airspace and the changes impacting it with the introduction of DO-178C/ED-12C, the emerging standard for the development of safety-critical software in airborne systems. A focus is made on the impact of the object-oriented supplement to this document which establishes, for the first time, a standard for the use of object-oriented programming and design in this environment. Discussion is made of the state of airworthiness Certification where software is concerned, the existing standard DO-178B/ED-12B[1], its history, perceived shortcomings, existing practice and how that may change with the new standard. Additionally, an overview is given of how this supplement introduces a formal type theory basis for reducing the amount of verification an applicant for airworthiness must demonstrate in order to provide the necessary safety assurance for an airborne system.
-
SPLASH/OOPSLA Companion - Object-oriented software considerations in airborne systems and Equipment Certification
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '10, 2010Co-Authors: Michael R Elliott, Peter HellerAbstract:This is a practitioner's discussion of the production of software in airborne systems which operate in civil airspace and the changes impacting it with the introduction of DO-178C/ED-12C, the emerging standard for the development of safety-critical software in airborne systems. A focus is made on the impact of the object-oriented supplement to this document which establishes, for the first time, a standard for the use of object-oriented programming and design in this environment. Discussion is made of the state of airworthiness Certification where software is concerned, the existing standard DO-178B/ED-12B[1], its history, perceived shortcomings, existing practice and how that may change with the new standard. Additionally, an overview is given of how this supplement introduces a formal type theory basis for reducing the amount of verification an applicant for airworthiness must demonstrate in order to provide the necessary safety assurance for an airborne system.
Michael R Elliott - One of the best experts on this subject based on the ideXlab platform.
-
object oriented software considerations in airborne systems and Equipment Certification
Conference on Object-Oriented Programming Systems Languages and Applications, 2010Co-Authors: Michael R Elliott, Peter HellerAbstract:This is a practitioner's discussion of the production of software in airborne systems which operate in civil airspace and the changes impacting it with the introduction of DO-178C/ED-12C, the emerging standard for the development of safety-critical software in airborne systems. A focus is made on the impact of the object-oriented supplement to this document which establishes, for the first time, a standard for the use of object-oriented programming and design in this environment. Discussion is made of the state of airworthiness Certification where software is concerned, the existing standard DO-178B/ED-12B[1], its history, perceived shortcomings, existing practice and how that may change with the new standard. Additionally, an overview is given of how this supplement introduces a formal type theory basis for reducing the amount of verification an applicant for airworthiness must demonstrate in order to provide the necessary safety assurance for an airborne system.
-
SPLASH/OOPSLA Companion - Object-oriented software considerations in airborne systems and Equipment Certification
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '10, 2010Co-Authors: Michael R Elliott, Peter HellerAbstract:This is a practitioner's discussion of the production of software in airborne systems which operate in civil airspace and the changes impacting it with the introduction of DO-178C/ED-12C, the emerging standard for the development of safety-critical software in airborne systems. A focus is made on the impact of the object-oriented supplement to this document which establishes, for the first time, a standard for the use of object-oriented programming and design in this environment. Discussion is made of the state of airworthiness Certification where software is concerned, the existing standard DO-178B/ED-12B[1], its history, perceived shortcomings, existing practice and how that may change with the new standard. Additionally, an overview is given of how this supplement introduces a formal type theory basis for reducing the amount of verification an applicant for airworthiness must demonstrate in order to provide the necessary safety assurance for an airborne system.
-
SPLASH/OOPSLA Companion - Object-oriented software considerations in airborne systems and Equipment Certification
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '10, 2010Co-Authors: Michael R Elliott, Peter HellerAbstract:This is a practitioner's discussion of the production of software in airborne systems which operate in civil airspace and the changes impacting it with the introduction of DO-178C/ED-12C, the emerging standard for the development of safety-critical software in airborne systems. A focus is made on the impact of the object-oriented supplement to this document which establishes, for the first time, a standard for the use of object-oriented programming and design in this environment. Discussion is made of the state of airworthiness Certification where software is concerned, the existing standard DO-178B/ED-12B[1], its history, perceived shortcomings, existing practice and how that may change with the new standard. Additionally, an overview is given of how this supplement introduces a formal type theory basis for reducing the amount of verification an applicant for airworthiness must demonstrate in order to provide the necessary safety assurance for an airborne system.
Peter Cain - One of the best experts on this subject based on the ideXlab platform.
-
Electrical Equipment Certification in Canadian underground coal mines – problem solved?
2016Co-Authors: Ronald F. King, Peter CainAbstract:Certification of electrical Equipment for underground coal mines in Canada is problematic. EX protected electrical distribution Equipment to Group 1 standards is not manufactured in Canada, and even if it were, there is no facility in Canada which is accredited to certify it. The Canadian Federal laboratories previously tasked with the job are closed. Provincial regulations require Certification by either a now-defunct facility or by the US authorities (MSHA). Unfortunately the underground coal legislation in the US is significantly at odds with Canadian Provincial legislation and Equipment approval requirements which presents problems with Equipment certified there. Although the underground coal mining industry in Canada is small, the western Provinces are blessed with substantial resources of high quality steel-making coal, much of which can only be accessed by underground mines. There are perhaps half a dozen large underground projects awaiting a price revival in Alberta and British Columbia, and it was the authors’ experience at one of these projects which lead to this paper. The project in question was owned by a Chinese company which wanted to use Chinese electrical distribution Equipment certified in China to IEC equivalent standards. The process of convincing the Provincial regulators that the Chinese Equipment was safer than the Equipment which would be allowed under Canadian standards was arduous but ultimately successful. The next step was to seek changes in the Canadian electrical standard applicable to mines so that the benefits could be felt across the country. This has recently also been accomplished. This paper examines the problem through an important aspect of electrical safety in underground coal mines - protection against electric shock and arcing. It compares the requirements of the Canadian legislation, US and UK legislation and IEC standards used by other countries. It concludes that the levels of safety against shock and arcing afforded by IEC-certified multi-point systems can be orders of magnitude better than the single point systems mandated or traditionally used in Canada. Additionally, multi-point systems may be better suited to protect high voltage Equipment beginning to be deployed in large open pits than the current Canadian protection standards. The recommendations arising for changes to Canadian standards await ratification, and we are hopeful that they will be adopted by Provincial regulators as soon as practicable.
-
electrical Equipment Certification in canadian underground coal mines problem solved
3rd International Symposium on Mine Safety Science and Engineering, 2016Co-Authors: Ronald F. King, Peter CainAbstract:Certification of electrical Equipment for underground coal mines in Canada is problematic. EX protected electrical distribution Equipment to Group 1 standards is not manufactured in Canada, and even if it were, there is no facility in Canada which is accredited to certify it. The Canadian Federal laboratories previously tasked with the job are closed. Provincial regulations require Certification by either a now-defunct facility or by the US authorities (MSHA). Unfortunately the underground coal legislation in the US is significantly at odds with Canadian Provincial legislation and Equipment approval requirements which presents problems with Equipment certified there. Although the underground coal mining industry in Canada is small, the western Provinces are blessed with substantial resources of high quality steel-making coal, much of which can only be accessed by underground mines. There are perhaps half a dozen large underground projects awaiting a price revival in Alberta and British Columbia, and it was the authors’ experience at one of these projects which lead to this paper. The project in question was owned by a Chinese company which wanted to use Chinese electrical distribution Equipment certified in China to IEC equivalent standards. The process of convincing the Provincial regulators that the Chinese Equipment was safer than the Equipment which would be allowed under Canadian standards was arduous but ultimately successful. The next step was to seek changes in the Canadian electrical standard applicable to mines so that the benefits could be felt across the country. This has recently also been accomplished. This paper examines the problem through an important aspect of electrical safety in underground coal mines - protection against electric shock and arcing. It compares the requirements of the Canadian legislation, US and UK legislation and IEC standards used by other countries. It concludes that the levels of safety against shock and arcing afforded by IEC-certified multi-point systems can be orders of magnitude better than the single point systems mandated or traditionally used in Canada. Additionally, multi-point systems may be better suited to protect high voltage Equipment beginning to be deployed in large open pits than the current Canadian protection standards. The recommendations arising for changes to Canadian standards await ratification, and we are hopeful that they will be adopted by Provincial regulators as soon as practicable.
Pann Ajjimaporn - One of the best experts on this subject based on the ideXlab platform.
-
CSEDU (Selected Papers) - An Exercise in Reverse Engineering for Safety-Critical Systems: An Experience for the Classroom
Communications in Computer and Information Science, 2019Co-Authors: Emanuel S. Grant, Pann AjjimapornAbstract:There have been multiple software system failures and successes that have led to milestone events since the inception of software development. One can harken back to the Y2K problem of the late 1990s that led to a great demand in reverse engineering activities in academia and the industry. Fast-forward to the 21st century and one observes that reverse engineering lacks emphasis in USA academia. This issue is exemplified by the high demand for software systems in new and expanding software application areas, which has resulted in systems being implemented before the requirements and design phases have been completed. Towards the maintenance of such systems, it is necessary to conducted reverse engineering for the derivation of software documentation for requirements and high-level and low-level design. When this scenario exists in the domain of safety-critical system, particularly in the aviation industry, reverse engineering takes on greater value because such software systems must undergo development regulations and Certification restrictions. This work reports on the experienced gained from conducting reverse engineering on an industry-based software system as a university project. The software system addressed a problem in the domain of aviation and was treated as a safety-critical system. The reverse engineering methodology applied was based on the RTCA DO-178C Software Considerations in Airborne Systems and Equipment Certification specification for onboard avionic software systems.