Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL.
Jan ToennemannAndreas RauschFalk HowarBenjamin CoolPublished in: FMICS (2018)
Keyphrases
- development process
- control software
- functional requirements
- real time
- requirements elicitation
- software engineering
- requirements analysis
- requirements engineering
- process management
- real time systems
- case study
- development projects
- control system
- metamodel
- software development
- development environment
- consistency checking
- distributed systems
- software projects
- development effort
- systems development
- software requirements
- application development
- requirements specification
- design process
- quality attributes
- software quality
- planning process
- software application
- model checking
- web based systems
- multi agent
- quality of service
- database
- development processes
- game development
- artificial intelligence
- agent technology
- software systems