Name
Title | ||
|---|---|---|
Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm |
Abstract | ||
|---|---|---|
The combination of an increased power of computer systems and a marriage between computing and communication causes an enormous increase in the complexity of applications in almost all domains. This also applies to the real-time and the embedded domains, where onstruction of distributed applications is a major research area. In our research, we develop a framework for the systematic development of distributed real-time control applications. We emphasize the use of pragmatic sound approaches in the design steps of the development process, preferrably based on some common architectural style. For analyzing and validating critical elements of design and implementation, we emphasize the use of formalisms, however. Complexity of applications is such that for real verification and validation, proof or model-checking tecniques are required. We use formalized abstraction as a technique for obtaining the appropriate templates from design and implementation. These abstractions are then dealt with in a mode-checking and analysis tool set. In this paper we show some elements of our approach, in particular we describe the architectural style that we are using, the Radio Broadcast Paradigm, and we demonstrate the viability of our approach by showing a case study. |
Year | Venue | Keywords |
|---|---|---|
1999 | Parallel and distributed real-time systems | pragmatic sound approach,design step,radio broadcast paradigm,software development,common architectural style,development process,architectural style,analysis tool set,major research area,systematic development,real-time control application,software verification,real time computing |
Field | DocType | ISBN |
Radio broadcasting,Design elements and principles,Abstraction,Verification and validation,Computer science,Rotation formalisms in three dimensions,Software development,Architectural style,Software verification,Distributed computing | Journal | 1-59033-115-X |
Citations | PageRank | References |
0 | 0.34 | 10 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jan van Katwijk | 1 | 147 | 31.70 |
| Ruud De Rooij | 2 | 7 | 0.97 |
| Sylvia Stuurman | 3 | 21 | 5.31 |
| Hans Toetenel | 4 | 76 | 10.54 |