|
|
|
|
SEA ENVIRONMENT |
OVERVIEW |
|
| The System Engineering and Animation Environment SEA supports the rapid prototyping and early validation of heterogeneous systems consisting of continuous and discrete parts of various application domains. SEA provides a homogenoneous model based on Predicate/Transition-Nets (Pr/T-Nets). Also the crucial points of these systems, i. e. the interfaces between system parts of different application domains, can be validated. Development time and costs are reduced considerably, since errors are detected in an early stage of development. In order to to support an easier specification of the described systems various extensions to the Pr/T-Net formalism first introduced by Genrich and Lautenbach have been made. For example a hierarchical specification is supported as well as a time-dependent firing of transitions. But the main idea of SEA is to combine the Pr/T-Net formalism with an abstract graphical representation. This leads to an application oriented representation of models abstracting from the underlying Pr/T-Nets as shown by the application example below. |
|
EXAMPLE |
|
| In the example the contol of traffic lights at an intersection is modelled. The Pr/T-Net on the left models the behaviour of one single traffic light. This net is instanciated by the net shown on the right. It contains the complete specification consisting of two traffic lights and their control. Each net definition consists of the net itself and an interface which contains a graphical representation for the net. The graphical representation, in the case of the traffic light a picture of a real traffic light, is used for the representation of subnets in the instanciating net. During the simulation of the specified subnets the firing of their transitions may lead to changes of the graphical representation. Hence, it is also possible to visualize the state of subnets by their graphical representation. Again this is shown by the traffic light in the example. Their state is visualized in a quite simple and comprehensive way. Summarized SEA supports the specification of systems using a well-defined formal model as well as the representation of a system by an abstract graphic, which may be manipulated during simulation. |
|
|
MORE ABOUT SEA |
|
|
Download Publications Applications Introduction |
|