The International Workshop on 'Embedded Systems -- Modeling, Technology, and Applications' is the seventh in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische UniversitAct Berlin. The goal of those workshops is to bring together researchers from both universities in order to present research results to an international community. Successfully realizing Embedded Systems requires methods and tools from different disciplines. Formal specification techniques not only for the embedded system itself but also for the device and environment that is controlled by the embedded system are used for functional and non-functional properties (e.g. performance, real-time behavior). Formal models allow analyzing and optimizing those properties. Different methods and tools are used to design the required behavior of the system and finally to implement and test the system. Aspects covered in this workshop are, among others, Models and specification Simulation of different properties Middleware for distributed real-time systems Signal Analysis Control methods Applications in airborne and medical systems.T ffafaf his computer serves as the user interfaceffafaaf to the Sky-Explorerrrerr rsystem: It accepts the flying mission, ... remote control transmitter Futaba-T9ZHP, which serves two purposes: a. it allows flying the Sky- Explorer manually for r test anbsp;...
|Title||:||Embedded Systems -- Modeling, Technology, and Applications|
|Author||:||Günter Hommel, Sheng Huanye|
|Publisher||:||Springer Science & Business Media - 2006-08-05|