This is join work with Suresh Jagannathan and Kim Bruce.
The construction of Reactive and Embedded Systems requires sophisticated tools and firm semantics foundations to guarantee the specified performances of the final product. Moreover, the deployment of Reactive and Embedded Systems is the result of a tight interaction between software and hardware components, which get developed by a co-design process. Such process is much smoother and predictable when the supporting linguistic tools embodying the semantics foundations are easy to use and widely known. Finally, these linguistic tools should be usable as a mean to rapidly communicate design solutions between project engineers and product manufacturers.
A language system that meets the above requirements can be used as a "System Level Design Language" (SLDL).
Java is an excellent base to develop Reactive and Embedded Systems. The Embedded and Personal Java Specifications provide a reference framework for this task. Extensions to Java make the language environment even more suitable as a SLDL.
Jester extends the Java language by incorporating reactive constructs from Esterel. The reactive extensions have been carefully crafted to integrate seamlessly within the Java language framework, with two overall goal in mind: the extensions should "look familiar" to the Java programmer, and the integration of "regular" Java code in the extension should be immediately recognizable in the program text (i.e. without the use of "glue code"). Jester works as a preprocessor producing CFMS as output (in Esterel format) which can be fed into tools like POLIS or VCC (in the spirit of ECL ), or passed through the Esterel->C compilation process. The whole compilation process also fits in the Embedded Java Specification Workflow.
The system runs on any system where an Esterel compiler and a Java JDK are available. I.e. on UNI*X and WNT platforms.
Current research aims at integrating "communication" refinements in Jester. I.e. to at least provide semi automated tool to describe and implement the communication among the CFSM produced by the compilation of the synchronous units.
This will be an informal presentation of proofs that have been carried out in the theorem prover Coq.
The talk is an overview of work on memory management by the LEGO project at the LFCS in Edinburgh, including John Longley, Rod Burstall, Paul Jackson and me, together with Richard Brooksby and David Jones in industry.
Adriana Compagnoni / firstname.lastname@example.org Last modified: Wed Aug 11 14:30:20 PDT 1999