|
list of participants to the ASSERT aadl workshop and working group.
ASSERT is an European Project (see www.assert-online.net) aiming to improve the system-and-software development process for critical embedded real-time systems, in the Aerospace and Transportation domains by:
- Identifying and developing proven critical system families’ architecture, using a proof based development process supported by formal notations, component models, and innovative processes and tools.
- Developing associated building blocks that can be composed, tailored and verified in open frameworks that shall be reused and shared by European teams across multi domain projects.
|
