Innovation Welcome: An Agile Approach to Model-Based Development of Safety-Critical Embedded Systems.
John MillsRaymond TurinJeremy MangasScott RanvillePublished in: ICSA Companion (2018)
Keyphrases
- safety critical
- embedded systems
- low cost
- safety analysis
- embedded software
- embedded real time systems
- support systems
- formal methods
- fault tolerant
- communication technologies
- case study
- field programmable gate array
- agent architecture
- hw sw
- knowledge management
- information systems
- software development
- high level
- e learning