University of Illinois Urbana-Champaign

Source Code for a Multirate PALS framework in Real-Time Maude

Bae, Kyungmin

Permalink

https://hdl.handle.net/2142/49977

Description

Title
Source Code for a Multirate PALS framework in Real-Time Maude
Author(s)
Bae, Kyungmin
Issue Date
2014-06
Keyword(s)
  • Multirate PALS
  • Real-Time Maude
Abstract
We give source code for a Real-Time Maude framework for formally specifying and executing Multirate PALS synchronous designs, along with an example of designing and model checking a distributed controller for turning an airplane.
Type of Resource
other
Language
en
Permalink
http://hdl.handle.net/2142/49977

Owning Collections

Research and Tech Reports - Computer Science PRIMARY