Safety-Critical Software Development in C++

2020 ◽  
pp. 98-110
Author(s):  
Daniel Kästner ◽  
Christoph Cullmann ◽  
Gernot Gebhard ◽  
Sebastian Hahn ◽  
Thomas Karos ◽  
...  
Keyword(s):  
Software Development ◽  
Safety Critical

scholarly journals Safety Critical Software Development Methodologies in Avionics

2020 ◽  
Vol 2020 (2) ◽  
pp. 59-71
Author(s):  
Pawel Zakrzewski ◽  
Janusz Narkiewicz ◽  
Darren Brenchley
Keyword(s):  
Software Development ◽  
Development Process ◽  
Practical Knowledge ◽  
Potential Game ◽  
Standard Size ◽  
Safety Critical ◽  
Points Of View ◽  
Software Development Methodologies ◽  
Definition Of ◽  
Game Changer

AbstractThis article summarizes avionics safety-critical software development methodologies and implications of the DO-178C standard from an Agile application perspective. We explain the safety-critical software categorization. It also outlines the main differences and advantages of different approaches to the development process, from Waterfall through the V-model to Iterative and Incremental. Agile principles are explained as well as a Scrum – which is a popular framework in the non-safety-critical software industry. The application of Agile, for safety-critical software considerations, is based on the practical knowledge of the authors, and looks at the potential solution from a DO-178C standard, size of the project, scalability, and organizational culture points of view. Definition of the Agile type of framework, consistent with the certification process and existing standards, has been highlighted as a potential game-changer for the avionics industry.

scholarly journals Test-Driven Approach for Safety-Critical Software Development

2015 ◽  
Vol 10 (7) ◽  
pp. 904-911
Author(s):  
Onur Özçelik ◽  
D. Turgay Altilar
Keyword(s):  
Software Development ◽  
Safety Critical

scholarly journals Test-Driven Approach for Safety-Critical Software Development

2020 ◽  
pp. 904-911 ◽  
Author(s):  
Onur Özçelik ◽  
◽  
D. Turgay Altilar
Keyword(s):  
Software Development ◽  
Safety Critical

A Framework for Integrating Safety in Usability Engineering for Electronic Health Records

2018 ◽  
Vol 62 (1) ◽  
pp. 499-502
Author(s):  
Rebecca Green ◽  
Rachael Brandt ◽  
Anne Miller
Keyword(s):  
Electronic Health Records ◽  
Software Development ◽  
New Technology ◽  
Usability Testing ◽  
Usability Engineering ◽  
Commercial Software ◽  
Health Records ◽  
Implementation Phase ◽  
Safety Critical ◽  
Test Scenarios

Usability engineering approaches, borrowed from commercial software development, rarely hold safety as a significant design priority. This paper presents our approach for integrating safety into EHR usability testing and reporting. We present five insights gained in our attempts to better integrate safety into EHR usability testing and we present the Usability FMEA as a framework for more effectively integrating safety into usability testing. Takeaways from this presentation include 1): Usability testing has evolved out of non-safety critical environments; 2) Safety must be designed into test scenarios and scripts, and tested for explicitly; 3) The Usability FMEA with the SEIPS model can help to identify factors that may be affected by the implementation of a new technology; 4) Usability testing and evaluations should be extended into the post-implementation phase in client sites.

Component-Based Development of Aeronautical Software

2010 ◽  
pp. 287-314
Author(s):  
Ítalo Romani de Oliveira ◽  
Ricardo Alexandre Veiga Gimenes ◽  
Jorge Rady de Almeida Jr.
Keyword(s):  
Software Development ◽  
Fuel Efficiency ◽  
Verification And Validation ◽  
Safety Issues ◽  
Safety Critical ◽  
Flight Stability ◽  
Component Based Development ◽  
Software Modules

Modern aircraft heavily relies on software to fly and operate, which lessens pilot workload, increases flight stability and fuel efficiency, and provides several other benefits. However, the more automated an aircraft is, the more prone to complexity its software modules are, raising special safety issues to be considered in the project. This chapter presents an overview of the Verification and Validation requirements for safety-critical software in aeronautics and, given the high costs to meet them, explains in detail a component-based methodology which can contribute to reduce the overall costs of software development and, at the same time, provide enhanced safety.

Μίνθα

2014 ◽  
pp. 1119-1141
Author(s):  
Jörn Guy Süß ◽  
Neil Robinson ◽  
David Carrington ◽  
Paul Strooper
Keyword(s):  
Software Engineering ◽  
Software Development ◽  
Object Oriented ◽  
Safety Critical ◽  
Development Framework ◽  
Code Generators ◽  
Application Logic ◽  
The Cost ◽  
Framework Development ◽  
The Way

Implementation of railway controller application logic is a highly safety-critical and time-consuming task carried out individually for each client and station by specialised signalling engineers, with corresponding high costs. Μίνθα is a software development framework designed to create code generators for application logic for the client railway companies of Ansaldo STS that use the Microlok II controller to lower the cost and increase repeatability. This chapter describes the evolution of Μίνθα from prototype to framework, and introduces the software engineering approaches of object-oriented meta-modelling and framework development along the way. It also presents known limitations and further application areas of the framework.

A Multiprocessor RTOS Design of uC/OS

2013 ◽  
Vol 756-759 ◽  
pp. 814-819 ◽  
Author(s):  
Rui Wang ◽  
Zhan Huai Li
Keyword(s):  
Operating System ◽  
Embedded Systems ◽  
Software Development ◽  
Software Design ◽  
Limited Resource ◽  
Communication Interface ◽  
Safety Critical ◽  
Embedded Rtos ◽  
Advanced Technologies ◽  
Multiprocessor Embedded Systems

In many safety-critical missions, more and more Multiprocessor Embedded Systems are used to provide the ability of fault tolerance. Using Operating System can easy software design and make software development more efficient. Because of the limited resource in Embedded Systems, many advanced technologies used in common desktop multiprocessor environment have not been used in Embedded RTOS yet. In this paper, we introduce the technologies of Virtual CPU Pool and Multiprocessor Processor Communication Interface to solve task distributing and communication between deferent CPUs. After using and mending uC/OS, I finally realize and test an Operating System in a kind of SMP multiprocessor hardware module successfully.

Sign in / Sign up

Export Citation Format

Share Document