Safety shell for specification-PEARL oriented UML real-time projects.
Roman GumzejMatjaz ColnaricWolfgang A. HalangPublished in: Comput. Lang. Syst. Struct. (2009)
Keyphrases
- real time
- formal methods
- safety critical
- specification language
- state machine
- software development
- sequence diagrams
- low cost
- software engineering
- formal specification
- intelligent vehicles
- case study
- quality of service
- uml diagrams
- causal models
- conceptual modeling
- belief revision
- air traffic
- belief change
- uml class diagrams
- class diagrams
- activity diagrams
- conceptual models
- database design
- software systems
- high level
- artificial intelligence