Description Contact Partners Info Material News Internal Pages    
ANDRES Info Material
17.09.08
OSSS Tutorial
Brief introduction to OSSS
17.09.08
OSSS Manual
Manual for OSSS 2.2.0 (including +R extensions)
2.09.08
OSSS 2.2.0
The OSSS simulation library (includes OSSS+R)
10.07.08
ANDRES project flyer (folded)
Flyer of the ANDRES project (prepared for folding)
10.07.08
ANDRES project flyer
Flyer of the ANDRES project
2.07.08
OSSS+R Getting Started
A beginner's guide to OSSS+R
Links
ForSyDe Formal System Design: http://www.ict.kth.se/org/ict/ecs/sam/projects/forsyde/www/
SystemC-AMS: http://www.systemc-ams.org/
HetSC modelling library: http://www.teisa.unican.es/HetSC/
OSSS modelling library and synthesis: http://system-synthesis.org/

Related project ICODES (Interface and Communication based Design of Embedded Systems): http://icodes.offis.de
Related project PolyDyn (Polymorphic Objects for Design of Reconfigurable FPGAs): http://ehs.informatik.uni-oldenburg.de/en/research/projects/149/polydyn

 
EMail Webmaster | © OFFIS