A generic approach for the certified schedulability analysis of software systems.

Xiaojie Guo Lionel Rieg Paolo Torrini

Published in: RTCSA (2021)

Keyphrases

software systems
software engineering
software maintenance
software design
software architecture
source code
artificial intelligence
multi agent systems
software components
metamodel
emergent behavior
case study
high level
software development