SafeWalk: a Simulation Tool Kit for Exploring Software Requirements in a Safety-Critical Product Line.
James I. LathropRobyn R. LutzCameron BrecountHugh D. PotterKathryn RohlfingJesse SlaterJoshua WallinPublished in: RE (2022)
Keyphrases
- product line
- safety critical
- tool kit
- software requirements
- software development
- safety analysis
- software architecture
- software product line
- software engineering
- formal methods
- fault tolerant
- embedded systems
- product lines
- development process
- systems development
- software systems
- databases
- agent architecture
- support systems
- knowledge based systems
- control system
- building blocks
- functional requirements
- knowledge representation
- natural language
- case study
- machine learning