Name
Abstract | ||
|---|---|---|
According to the SDL semantics, input ports "may retain any number of input signals", and therefore may grow without upper bound. While this is a convenient property on design level, it may lead to illegal behaviour on concrete hardware platforms when a queue overflow occurs, especially in the context of distributed embedded systems with severe storage constraints. In this paper, we present a straightforward extension of SDL in order to specify input port bounds formally. In our solution, bounds are associated with signals and input ports. We define both the concrete and abstract grammar and the 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. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1007/978-3-540-74984-4_7 | SDL Forum |
Keywords | Field | DocType |
straightforward extension,sdl semantics,input port,proposed sdl extension,input signal,abstract grammar,specifying input port bound,formal dynamic semantics,assisted bicycle trainer,concrete hardware platform,convenient property,upper bound,wireless sensor network | Trainer,Port (computer networking),Model checking,Computer science,Upper and lower bounds,Queue,Grammar,Wireless sensor network,Semantics,Distributed computing | Conference |
Volume | ISSN | ISBN |
4745 | 0302-9743 | 3-540-74983-7 |
Citations | PageRank | References |
3 | 0.43 | 4 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Reinhard Gotzhein | 1 | 465 | 71.44 |
| Rüdiger Grammes | 2 | 23 | 2.97 |
| Thomas Kuhn | 3 | 90 | 16.33 |