Lambda the Ultimate

inactiveTopic Model-Based Integration of Embedded Software
started 1/6/2004; 5:15:59 PM - last post 1/23/2004; 11:14:47 PM
Mark Evans - Model-Based Integration of Embedded Software  blueArrow
1/6/2004; 5:15:59 PM (reads: 6933, responses: 3)
Model-Based Integration of Embedded Software

As an embedded systems developer I perk up when real-time needs are addressed (not frequently enough here). The Giotto language is claimed "particularly suitable for safety-critical applications with hard real-time constraints."

Strong type systems ... improve robustness and composability of software. However, type systems today ... talk only about static properties of component interfaces.... Dynamic properties, such as calling conventions that state that one method must be called only if another method has been called, are not expressed in the interface definition of a component, except informally. And most system integration problems today arise because of incompatibilities in the dynamic properties of software components....

While promising methods, such as design by contract, have been explored by the research community, our approach is to focus on those techniques that are formally manipulable, and those that embrace concurrency....

Released version 1.0 of the Ptolemy II software ... includes domains for continuous-time modeling, discrete event modeling, synchronous/periodic modeling (Giotto), finite-state machine modeling, and dataflow modeling, as well as a semantic framework for hierarchically combining domains to get mixed models, including hybrid systems, concurrent state machines, and mixed-signal models.

Posted to Software-Eng by Mark Evans on 1/6/04; 5:19:36 PM

Mark Evans - Re: Model-Based Integration of Embedded Software  blueArrow
1/9/2004; 6:57:02 PM (reads: 155, responses: 0)
This post was not about embedded systems per se. Maybe to stir up interest I should have entitled it "How Real-time Requirements Influence Type Theory, Concurrency, and Design by Contract." There is ample material here for LtU regulars to ponder. These folks are keenly interested in formally verifiable systems and the relationship of same to type theory.

Mark Evans - Re: Model-Based Integration of Embedded Software  blueArrow
1/23/2004; 11:05:47 PM (reads: 104, responses: 0)
Apropos of the recent post about Smalltalk running an embedded system (sort of), I found this Giotto example vastly more compelling. This is a real hardware-in-the-loop simulation.

Mark Evans - Re: Model-Based Integration of Embedded Software  blueArrow
1/23/2004; 11:14:47 PM (reads: 105, responses: 0)
There is a variant of Giotto called xGiotto.