Search Sciweavers | Sciweavers

769 search results - page 14 / 154

» The Real-Time Specification for Java

click to vote

RTAS
1997
IEEE

81views Embedded Systems» more RTAS 1997»

A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications

15 years 1 months ago

Download www.cs.wayne.edu

ÐThis paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for ªplugging inº user-defined viewers useful...

Monica Brockmeyer, Farnam Jahanian, Constance L. H...

claim paper

Read More »

click to vote

DATE
2004
IEEE

133views Hardware» more DATE 2004»

Model-Based Specification and Execution of Embedded Real-Time Systems

15 years 1 months ago

Download jerry.c-lab.de

Tim Schattkowsky, Wolfgang Müller 0003

claim paper

Read More »

click to vote

ISSS
1997
IEEE

92views Hardware» more ISSS 1997»

Synthesising Controllers from Real-Time Specifications

15 years 1 months ago

Download seshome.informatik.uni-oldenburg.de

We present an algorithm for synthesising controllers specified in a subset of the interval temporal logic Duration Calculus [13]. The synthesised controllers are given as PLC-Auto...

Henning Dierks

claim paper

Read More »

click to vote

MASCOTS
2001

99views Modeling And Simulation» more MASCOTS 2001»

Specification and Validation of a Real-Time Parallel Kernel Using LOTOS

14 years 10 months ago

Download www.ub.utwente.nl

Cléver Ricardo Guareis de Farias, Luí...

claim paper

Read More »