AsmL Specification of a Ptolemy II Scheduler

Daniel Lázaro Cuadrado, Peter Koch, Anders Peter Ravn

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Abstrakt

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
OriginalsprogEngelsk
TitelAbstract State Machines 2003 (ASM 2003) : LNCS
RedaktørerBörger, E. : Gargantini, A. : Riccobene, E. (eds.)
ForlagSpringer
Publikationsdato2003
Udgave2589
Sider417
StatusUdgivet - 2003
BegivenhedAsmL Specification of a Ptolemy II Scheduler -
Varighed: 19 maj 2010 → …

Konference

KonferenceAsmL Specification of a Ptolemy II Scheduler
Periode19/05/2010 → …

Bibliografisk note

ISSN ; -

Citationsformater