|
|
|
Computer Engineering Research Group
Fachgruppe Technische Informatik
|
Overview
The CodeSign project is part of the activities of the
Computer Engineering Research Group of the
Computer Engineering and Communication
Networks Lab at the ETH Zurich. It
addresses the design,
modeling, simulation, verification and analysis of complex systems
that are embedded in a technical
environment and are subject to real time constraints.
Members
Current Research
-
embedding multiple formalisms into a common generic framework
-
efficient simulation of system models
-
verification of timing properties
-
rapid generation of (hardware and software) prototypes from specifications
-
see also The Moses Project
The CodeSign Tool
The CodeSign tool is a graphic system modeling environment with
the following key features:
-
high-level object-oriented time Petri nets (TPNs) as the base formalism
-
other formalisms can be embedded into the TPN model
-
net components are themselves hierarchical and object-oriented
-
models can be simulated (with and without animation)
Click here to view a screen shot of the CodeSign
tool (70k)
CodeSign
version 2.5 released.
Download
CodeSign
Patches
The old version is still available: download
here.
Mailing
list for users of CodeSign
To subscribe, send email to codesign-users-request@list.ee.ethz.ch
with subject "subscribe".
To post a message to all subscribers of the list, mail to codesign-users@list.ee.ethz.ch.
ETH -
Dept. of Electrical Engineering -
TIK
