MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems.
Imran Rafiq QuadriEtienne BrosseIan GrayNikolas Drivalos MatragkasLeandro Soares IndrusiakMatteo RossiAlessandra BagnatoAndrey SadovykhPublished in: ReCoSoC (2012)
Keyphrases
- real time
- high level
- low level
- formal methods
- safety critical
- case study
- development methodologies
- complex systems
- low cost
- real time systems
- safety analysis
- knowledge based systems
- distributed systems
- management system
- expert systems
- european union
- information retrieval
- telecommunication systems
- user oriented evaluation
- embedded systems
- semantic information
- higher level
- multi agent systems
- information systems