Real-Time Systems Symposium - RTSS 2014


Visible to the public ACTIVE: A Tool for Integrating Analysis Contracts

Abstract: Development of modern Cyber-Physical Systems (CPS) relies on a number of analysis tools to verify critical properties. The Architecture Analysis and Design Language (AADL) standard provides a common architectural model to which multiple CPS analyses can be applied. Unfortunately, interaction between these analyses can invalidate their results. In this paper we present ACTIVE, a tool developed within the OSATE/AADL infrastructure to solve this problem.


Visible to the public  REACTION 2014
Dec 02, 2014 8:00 am - 5:00 pm CET

3rd International Workshop on Real-Time and Distributed Computing in Emerging Applications

Co-located with IEEE RTSS