Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems
| Autor: | Thierry Le Sergent, Jean-Louis Camus |
|---|---|
| Rok vydání: | 2001 |
| Předmět: |
business.industry
Lustre (programming language) Computer science Formal methods Domain (software engineering) Data flow diagram Synchronous Data Flow Telecommunications engineering Formal specification Artificial intelligence Software engineering business Distributed control system computer computer.programming_language |
| Zdroj: | SDL 2001: Meeting UML ISBN: 9783540422815 SDL Forum |
| DOI: | 10.1007/3-540-48213-x_1 |
| Popis: | Engineers are faced nowadays with the challenge of designing strongly distributed control systems, with complex interactions. There is little theory and tool support to address this recent challenge. Control engineering and telecom engineering have dedicated but unrelated techniques, each for their specific domain. In this paper, we explore an approach where we combine two complementary formal methods, with good tool support and industrial acceptance:SCADE/Lustre from the Control Engineering domain, and SDL, from the Telecom domain. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|