Titlebook: SDL 2007: Design for Dependable Systems; 13th International S Emmanuel Gaudin,Elie Najm,Rick Reed Conference proceedings 2007 Springer-Verl

infantile

Outspoken

Experiences in Deploying Model-Driven Engineering engineering significantly improves the development process for telecommunications systems. We discuss the elements we found most important for deployment of model-driven engineering in a large product development organization: An appropriate modeling language, a powerful domain-specific code generator, and a deployment support team.

使声音降低

镀金

Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry protocol with respect to the number of nodes. We have used for this study probabilistic model checking tools used in the RNTL project Averros. This is a significant application of academic tools to industrial concerns.

Acumen

OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modelingrchitecture has several properties that enhance the safety and real-time properties of the RTOS. The code size in particular is very small and typically 10 times less than a typical equivalent single processor RTOS.

Aromatic

Delude

Using TTCN for Radio Conformance Test Systemsrotocol and radio conformance testing share most of the underlying concepts, enables the use of a generic architecture for implementations of both types of testers, resulting in a reduction of the development efforts. This architecture has been validated with the implementation of radio test cases for the UMTS technology.

继承人

Translatable Finite State Time Machinethe system under design by means of a UML-based state machine with the ability to measure time, and ends up with a complete program written in one of the IEC 1131 languages. The translation process is done automatically, and the semantics of the resulting program is isomorphic to the semantics of the model.

灰姑娘

peak-flow

Specifying Input Port Bounds in SDLhe formal dynamic semantics of the proposed SDL extension. We have implemented the extension in Cmicro, and illustrate our solution by examples from the Assisted Bicycle Trainer, a wireless sensor network.