Learn More
We present a framework for testing timing constraints of real-time systems. Our tests are automatically derived from speciications of minimum and maximum allowable delays between input/output events in the execution of a system. Our test derivation scheme uses a graphical speciication formalism for timing constraints, and the real-time process algebra(More)
We present a toolset for the behavioral verification and validation of architectural models of embedded systems expressed in the language AADL. The toolset provides simulation and timing analysis of AADL models. Underlying both tools is a process-algebraic implementation of AADL semantics. The common implementation of the semantics ensures consistency in(More)
We report on a tool we have developed that automates the derivation of tests from specifications. The tool implements conformance testing techniques to derive symbolic tests that incorporate their own oracles from formal operational specifications. It was applied for testing a simple version of the CEPS (Common Electronic Purse Specification).