C O L U M B U S

Design of Embedded Controllers for Safety Critical Systems

Project IST-2001-38314

 

Project | Participants | Innovation | Work Plan  | Related Links | Newsnieruchomoƛci | Ciekawe miejsca w Katowicach | Tychy zabytki | Zabrze|

Public

Private

Publications

 

 

 

Public Documents

Home Documents Public Documents

f

Public Documents

 


Download the COLUMBUS Final Report


 

WPCO

 

Title: The COLUMBUS Experience: An experiment in joint transatlantic research
Author: John Lygeros & the COLUMBUS team

Download

 

Title: Impact of platform-based design methodology in Magneti Marelli Powertrain design flow
Author: Water Nesci

Download

 

Title: Research Challenges in Advanced Controls
Author: John Lygeros & the COLUMBUS team

Download


 

WPHS:

Deliverable DHS1

Title: Overview of Hybrid Modeling Languages
Author: Luca Berardi, Maria D. Di Bebedetto and Albert Sangiovanni-Vincentelli

Download

 

Deliverable DHS2

Title: Overview of methods represenating semantics of hybrid modeling techniques
Author: Luca Berardi, Maria D. Di Bebedetto and Albert Sangiovanni-Vincentelli

Download

 

Deliverable DHS3

Title: Modeling Techniques, Programming Languages Design Toolsets and Interchange Formats for Hybrid Systems
Author: Luca Carloni, Maria D. Di Bebedetto, Alessandro Pinto and Albert Sangiovanni-Vincentelli

Download

 

Deliverable DHS4-6

Title: Modeling Techniques, Programming Languages Design Toolsets  for Hybrid Systems
Author: Luca Carloni, Maria D. Di Bebedetto, Roberto Passerone, Alessandro Pinto and Albert Sangiovanni-Vincentelli

Download


 

WPSHS:

Deliverable DSHS1

Title: Reachability Issues for Stochastic Hybrid Processes
Author: M.Bujorianu and J.Lygeros

Download

 

Deliverable DHS2

Title: Theoretical Foundations of General Stochastic Hybrid Processes
Author: M.Bujorianu and J.Lygeros

Download

 

Deliverable DHS3

Title: Stochastic Markovian Switching Hybrid Processes
Author: C.Yuan and J.Lygeros

Download


 

WPTA:

Deliverable DTA1

Title: Heterogenous Reactive Systems Modeling and Correct by Construction Deployment
Author: Albert Benveniste, Luca P. Carloni, Paul Caspi and Alberto Sangiovannni

Download executive summary

Download technical contribution

 

Deliverable DTA2

Title: Composing Heterogeneous Reactive Systems
Author: Albert Benveniste, Benoit Caillaud, Luca P. Carloni, Paul Caspi and Alberto Sangiovannni

Download executive summary

Download technical contribution


 

WPPBD

Deliverable DPBD1

Title: Platform Based Approach with Constraints and Export Mechanism
Author: A.Balluchi, M.D. Di Benedetto, A.Ferrari, G.Girasole, F.Graziosi, F.Parasiliti, R.Petrella, A.Sangiovanni-Vincentelli, F.Santucci, M.Sgroi, M.Tursini, R.Alessi, S.Tennina

Download

 

Deliverable DPBD2

Title: Platform Based Design: Applications and Flow
Author: A.Balluchi, M.D. Di Benedetto, A.Ferrari, G.Girasole, F.Graziosi, F.Parasiliti, A.Pinto, R.Pesserone, R.Petrella, A.Sangiovanni-Vincentelli, F.Santucci, M.Sgroi, M.Tursini, R.Alesii, S.Tennina

Download


 

WPMM

Deliverable DMM1-2

Title: A formal framework of meta-models
Author: Benoit Caillaud, Ethan Jackson

Download