Real-Time Systems Symposium - RTSS 2014
file
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.
event
Submitted by Anonymous on Mon, 08/25/2014 - 3:15pm
3rd International Workshop on Real-Time and Distributed Computing in Emerging Applications
Co-located with IEEE RTSS
