Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis

Hemingway, Graham; Porter, Joseph; Kottenstette, Nicholas; Nine, Harmon; vanBuskirk, Chris; Karsai, Gábor; Sztipanovits, János

doi:10.1109/rsp.2010.5656335

Cited by 8 publications

(3 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Models include software component models, hardware topology, and deployment maps instantiating the software components on the hardware. Integrated tools calculate static schedules for time-triggered networks, and generate code for platform-specific simulation (via TrueTime [203]) or for time-triggered execution on hardware (via the time-triggered FRODO virtual machine [204]). ESMoL was designed to be much simpler than AADL (though not as expressive), to provide the ability to examine the platform effects of a controller design, and to allow for experimentation with design abstractions through language and tool customization.…”

Section: Candidate Modeling and Design Toolsmentioning

confidence: 99%

A Study on Run Time Assurance for Complex Cyber Physical Systems

Koutsoukos¹,

Porter²,

Kumar³

et al. 2013

View full text Add to dashboard Cite

Public reporting burden for this collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining the data needed, and completing and reviewing this collection of information. Send comments regarding this burden estimate or any other aspect of this collection of information, including suggestions for reducing this burden to Department of Defense, Washington Headquarters Services, Directorate for Information Operations and Reports (0704-0188), 1215 Jefferson Davis Highway, Suite 1204, Arlington, VA 22202-4302. Respondents should be aware that notwithstanding any other provision of law, no person shall be subject to any penalty for failing to comply with a collection of information if it does not display a currently valid OMB control number.

show abstract

Section: Candidate Modeling and Design Toolsmentioning

confidence: 99%

A Study on Run Time Assurance for Complex Cyber Physical Systems

Koutsoukos¹,

Porter²,

Kumar³

et al. 2013

View full text Add to dashboard Cite

show abstract

“…In addition TrueTime has no support to schedule applications on the platform. Scheduling is supported in an encompassing tool chain [14] but the underlying semantic model of this chain is TTA, while our platforms are based on a data-flow paradigm.…”

Section: Related Workmentioning

confidence: 99%

Model-based specification, analysis and synthesis of servo controllers for lithoscanners

Schiffelers

Alberts

Voeten

2012

Proceedings of the 6th International Workshop on Multi-Paradigm Modeling

View full text Add to dashboard Cite

ASML is the world's leading provider of complex lithography systems for the semiconductor industry. Such systems consist of numerous servo control systems. To design such control systems, a multi-disciplinary model-based development environment has been developed. It is based on a set of domain specific languages (DSLs) describing A) the transducers and control logic, i.e. the application; B) the relevant subset of the hardware, i.e. the platform; and C) the mapping of the application on the platform. Models specified with these DSLs are used for different types of analysis, for example load prediction of computing nodes and networks between them. Furthermore, the behavioral specification present in the models is transformed into efficient C code that is executed in a hard real-time setting. Finally, the models are used during startup of a twinscanner to initialize the servo controllers and their execution platforms, and to schedule the control blocks on the computing nodes.

show abstract

“…Code generated from the models conforms to an API for time-triggered execution. A portable virtual machine implementation of the API allows execution in simulation, hardware-in-the-loop, and fully deployed configurations [6].…”

Section: Esmol Component Modelmentioning

confidence: 99%

Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models

Porter

Balasubramanian

Hemingway

et al. 2011

Software Composition

View full text Add to dashboard Cite

We consider the problem of incremental cycle analysis for dataflow models in the Embedded Systems Modeling Language (ESMoL). We give a general form of a cycle enumeration algorithm that makes use of graph hierarchy to improve analysis efficiency. Our framework also stores simple connectivity information in the model to accelerate future cycle analyses when additional components are added or modifications are made. Finally we give a mapping from a term algebraic model of the ESMoL component model and logical dataflow sublanguages to the analysis framework, and an evaluation on a fixed-wing aircraft controller model. This is part of a larger effort to integrate cycle analysis into the ESMoL tool suite to aid well-formedness checking during model construction.

show abstract

Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis

Abstract: The

Cited by 8 publications

References 20 publications

A Study on Run Time Assurance for Complex Cyber Physical Systems

A Study on Run Time Assurance for Complex Cyber Physical Systems

Model-based specification, analysis and synthesis of servo controllers for lithoscanners

Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models

Contact Info

Product

Resources

About