A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software.
Gregory ZoughbiLionel C. BriandYvan LabichePublished in: MoDELS (2007)
Keyphrases
- safety critical
- uml profile
- formal methods
- embedded systems
- fault tolerant
- metamodel
- safety analysis
- modeling language
- agent architecture
- support systems
- adaptive systems
- model driven architecture
- software systems
- software development
- real time
- intelligent agents
- service oriented
- model driven
- decision making
- databases