In this work, we deal with the problem of testing timing behavior of real-time systems. The information provided by the physical design of the software is used to perform conformance testing of the implementation with respect to this design. The approach is based on modeling the system design with SA/SD-RT, translate it to High Level Time Petri Nets and… (More)
We investigate the controlled introduction of ad hoc, unstructured parallelism into the structured world of skeletal parallel programming. We outline the challenges raised and discuss an approach to their solution in the context of a small case study.