SDL 2007: Design for Dependable Systems

SDL 2007: Design for Dependable Systems

4.11 - 1251 ratings - Source



th Thisvolumecontainsthepaperspresentedatthe13 SDL Forum, Paris, France entitled a€œDesign for Dependable Systemsa€ and re?ects the intent to have a b- ance between experience reports and research papers related to System Design Languages. The language that was at the heart of the ?rst few SDL Forums was the ITU-T Speci?cation and Description Language de?ned in Z.100, and the app- cation domain was almost entirely ?xed-line telephone communication. Mobile telephony was for the super-rich and electronics in cars was just for radios. Ever since its inception, 30 years ago, the Z.100 language has been used for model-driven development in the telecommunication industry. Nowadays, model-driven engineering is a must for all industries and has been generalized byOMG to allapplicationdomainsascoveredbya paper onanautomotivecase study in this volume. What has been happening over the past few years is that the infrastructure has been put in place providing good support for the mod- driven paradigm, so that the economic bene?t of the approach makes it more of a necessity than a choice for designing dependable systems. The experience report from Motorola in this volume underlines this trend.Dierks, H.: PLC-Automata: A New Class of Implementable Real-Time Automata. ... Sacha, K.: Automatic Code Generation for PLC Controllers. ... Siemens, SIMATIC S7a€“200 Programmable Controller, System manual, Siemens (1998) 18. Burchanbsp;...


Title:SDL 2007: Design for Dependable Systems
Author: Emmanuel Gaudin, Élie Najm, Rick Reed
Publisher:Springer Science & Business Media - 2007-09-06
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA