Software is increasingly being used in systems of a critical nature, in particular in safety critical systems, where failure of the software can lead to catastrophic effects, including injury or death to humans, and harm to the environment.
High Integrity Ada
Examples of software-based safety critical systems include: fly-by-wire avionics; drive-by-wire technology in cars; implantable defibrillators; train control and train signalling systems; and computer-aided emergency dispatch systems. Increasingly software is replacing hardware or human operators, allowing for more complex and arguably cost effective solutions, but at the same time leading to a system that is more difficult to provide assurance for.
- Intelligent Systems.
- Top Authors;
- Formal methods.
- Public Participation in Sustainability Science: A Handbook.
- True Friends (Carmen Browne)!
Because of this, the development of software for safety critical systems requires engineering techniques above and beyond standard software engineering methods. We refer to the discipline of developing safety critical software as high-integrity software engineering. This course will cover a number of practical techniques used in high-integrity software engineering. CHESS also provides a profile allowing contract-based design and dedicated model transformation enabling seamless integration with external tools for the verification of contracts specification.
CHESS tooling extends Papyrus editor to properly support the CHESS methodology, in particular allowing working with different views on the model including requirements, system, components, deployment and analysis view. The CHESS tool environment is composed by: 1 a MARTE, UML and SysML profile, 2 an extension to the Papyrus UML graphical editor that supports the notion of design views, 3 a model validator that assesses the well-formedness of the model before model transformations can be undertaken, and 4 a set of model to model and model to text transformations, the former for the purpose of model-based schedulability,dependability and contract-based design analysis, and the latter for code generation toward multiple language targets.
See the getting started page. Background Distributed dependable real-time embedded software systems, like Satellite on board software, are becoming increasingly complex due to the demand for extended functionalities or the reuse of legacy code and components.
Scope The CHESS project provides a model-driven, component-based methodology  and tool support for the development of high-integrity systems for different domains.