In this paper, a new methodology is presented for topology optimization of networked embedded systems as they occur in automotive and avionic systems as well
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...
This paper discusses the design and implementation of a cluster file system, called PVFS-PM, on the SCore cluster system software. This is the first attempt to implement a cluster...
Koji Segawa, Osamu Tatebe, Yuetsu Kodama, Tomohiro...
In the paper, a formulation is proposed for optimal experiment design dedicated to the identification of nonlinear systems. In particular, a recently mentioned redundancy property ...
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...