A Behavior Specification and Simulation Methodology for Embedded Real-Time Software.
Tobias DörrFlorian SchadeAlexander AhlbrechtWanja ZaeskeLeonard MasingUmut DurakJürgen BeckerPublished in: DS-RT (2022)
Keyphrases
- real time
- embedded systems
- qualitative simulation
- real time systems
- hardware software
- simulation environment
- simulation model
- software systems
- high fidelity
- control software
- discrete event simulation
- software development
- agent based models
- low cost
- simulation software
- source code
- computer systems
- tool suite
- smart camera
- software design
- real environment
- reactive systems
- high speed
- embedded processors
- safety critical
- design methodology
- hardware design
- dedicated hardware
- simulation models
- mathematical models
- emergent behavior
- human behavior
- control system
- software quality
- real time embedded
- control flow
- software projects
- development process
- test cases
- vision system
- user interface