Design and Process Metamodels for Modelling and Verification of Safety-Related Software Applications in Smart Building Systems.
Murni FatehahVitaliy MezhuyevPublished in: ICIT (2018)
Keyphrases
- safety critical
- formal methods
- metamodel
- development process
- software design
- high assurance
- design process
- highly modular
- hardware designs
- hardware design
- design processes
- safety analysis
- modeling language
- enabling technology
- uml profile
- development lifecycle
- design tools
- embedded systems
- software systems
- industrial strength
- user interface
- computer systems
- software architecture
- model checking
- building blocks
- support systems
- formal verification
- case study
- development effort
- operating environment
- software development
- process automation
- object oriented systems
- requirement analysis
- nuclear power plant
- design concepts
- software maintenance
- design rationale
- requirements engineering
- software testing
- functional verification
- safe operation
- platform independent
- complex software systems
- virtual instrument
- development methodologies
- software development process
- modelling language
- complex systems
- knowledge based systems
- expert systems