Verification of AUTOSAR Software Architectures with Timed Automata.
Steffen BeringerHeike WehrheimPublished in: FMICS-AVoCS (2016)
Keyphrases
- software architecture
- timed automata
- model checking
- reachability analysis
- temporal logic
- description language
- software engineering
- architectural design
- software systems
- distributed systems
- functional requirements
- security requirements
- embedded software
- theorem proving
- theorem prover
- software development
- reference model
- product line
- real time systems
- information systems
- bayesian networks
- information technology
- first order logic
- design patterns
- artificial intelligence
- multi agent
- cooperative
- commercial off the shelf
- low cost
- probability distribution