An Environment for Formal Modeling and Simulation of Control Systems

Authors:
Bernardo Copstein;Michael da Costa Móra;Leila Ribeiro
Affiliations:
-;-;-
Venue:
SS '00 Proceedings of the 33rd Annual Simulation Symposium
Year:
2000

Citing 0
Cited 3

Correct transformation: From object-based graph grammars to PROMELA

Science of Computer Programming
A formal framework for the development of concurrent object-based systems

Formal Methods in Software and Systems Modeling
ConceVE: Conceptual modeling and formal validation for everyone

ACM Transactions on Modeling and Computer Simulation (TOMACS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

The purpose of this paper is to present the PLATUS simulation environment. PLATUS allows the formal modeling of control systems using Graph Grammars. In PLATUS, control systems are viewed as a collection of three distinct abstractions, that allow the system designer to keep the specification of control elements free of simulation aspects, providing the tools for formal system verification and code generation of real control systems, making the development of such systems a straight forward step from specification.