A Model-Based Engineering Methodology for Requirements and Formal Design of Embedded and Real-Time Systems.
Fabíola Gonçalves C. RibeiroAchim RettbergCarlos Eduardo PereiraMichel S. SoaresPublished in: HICSS (2017)
Keyphrases
- real time systems
- embedded systems
- real time embedded
- engineering design
- architectural model
- design methodology
- real time
- timing constraints
- design process
- low cost
- distributed systems
- mission critical
- artificial intelligence
- real time database systems
- formal methods
- conceptual model
- design principles
- case study
- design requirements
- embedded devices
- quality function deployment
- development lifecycle
- high level
- reactive systems
- cooperative
- artificial neural networks
- fuzzy logic
- software engineering
- functional requirements
- requirements engineering
- business process
- process model