Abstract
Ptolemy II is a tool that combines different computational models for
simulation and design of embedded systems. AsmL is a software specification
language based on the Abstract State Machine formalism. This paper reports on
development of an AsmL model of the Synchronous Dataflow domain scheduler of
Ptolemy II. By building this model we can give precise semantics to the
implementation. Furthermore it allows us to isolate the scheduling problem from
the tool and make the potential parallelism of the implementation explicit. The
model is executable and is tested against the implementation
Original language | English |
---|---|
Title of host publication | Abstract State Machines 2003 (ASM 2003) : LNCS |
Editors | Börger, E. : Gargantini, A. : Riccobene, E. (eds.) |
Publisher | Springer |
Publication date | 2003 |
Edition | 2589 |
Pages | 417 |
Publication status | Published - 2003 |
Event | AsmL Specification of a Ptolemy II Scheduler - Duration: 19 May 2010 → … |
Conference
Conference | AsmL Specification of a Ptolemy II Scheduler |
---|---|
Period | 19/05/2010 → … |