AsmL Specification of a Ptolemy II Scheduler

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch


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 languageEnglish
Title of host publicationAbstract State Machines 2003 (ASM 2003) : LNCS
EditorsBörger, E. : Gargantini, A. : Riccobene, E. (eds.)
Publication date2003
Publication statusPublished - 2003
EventAsmL Specification of a Ptolemy II Scheduler -
Duration: 19 May 2010 → …


ConferenceAsmL Specification of a Ptolemy II Scheduler
Period19/05/2010 → …

Cite this