This capability is useful, for example, if one of the predefined profiles provides almost all the features needed to adapt an existing system to new safety-critical requirements, and where the costs of adaptation without the additional features are considered prohibitive.
In keeping with its status as the leading Ada technology, GNAT Pro is the first Ada environment to implement all of the major features included in Ada 2012, the latest revision of the Ada language.
These challenges include items such as keeping track of the necessary documentation and artifacts, ensuring that the functional requirements are applied on the system-level, coping with the organizational challenges of new roles and added knowledge, and being able to adjust to the new process that must be followed on top of your development process that is already in place... Typically, the overall process compliance and considerations are taken into account for the design of the product, but we must be sure to not forget about the verification side of product development.
Many of the functional safety standards specifically call out requirements and steps to be completed for test in addition to the design.
At the same time, these considerations must be taken into account in all variations of verification that take place throughout the development cycle: pure simulation verification like model-in-the-loop testing, rapid control prototyping, hardware-in-the-loop simulation, and pure physical testing through the use of dynamometers and environmental chambers.
In fact, V&V can easily account for the biggest chunk of effort in the development of safety-critical systems.
The embedded software has played an increasing role in safety-critical systems.
At the same time the current development process of “build, then integrate” has proven unaffordable for the Aerospace industry.
This paper outlines challenges in safety-critical embedded systems in addressing system-level faults that are currently discovered late in the development life cycle.
We then discuss an architecture-centric approach to model-based engineering, i.e., to complement the validation of systems with analysis of different operational quality aspects from an architecture model.