Model Integration and Cyber Physical Systems: A Semantics Perspective

  title={Model Integration and Cyber Physical Systems: A Semantics Perspective},
  author={Janos Sztipanovits},
class FSM id as String React (e as Event) as Event? step let CS as State = GetCurrentState () step let enabledTs as Set of Transition = {t | t in outTransitions (CS) where e.eventType = triggerEventType(t)} step if Size (enabledTs) = 1 then choose t in enabledTs step // WriteLine ("Execute transition: " + := false ( ) { } [ ] ' ' | | ' , ' Y R R C r R r C Y D = ∈ = structure Ev nt eventType as String class State id as String initial as Boolean var active as Boolean = false class… CONTINUE READING

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 15 extracted citations

Pliant Modalities in Hybrid Event-B

Theories of Programming and Formal Methods • 2013
View 4 Excerpts
Highly Influenced

Formal Refinement and Partitioning of a Fuel Pump System for Small Aircraft in Hybrid Event-B

2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE) • 2016
View 1 Excerpt

Stochastic analogues of invariants martingales in stochastic Event-B

2015 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) • 2015
View 1 Excerpt

The landing gear system in multi-machine Hybrid Event-B

International Journal on Software Tools for Technology Transfer • 2015
View 1 Excerpt

Contemplating the Addition of Stochastic Behaviour to Hybrid Event-B

2014 Theoretical Aspects of Software Engineering Conference • 2014
View 1 Excerpt


Publications referenced by this paper.
Showing 1-3 of 3 references

Semantics of Domain-Specific Modeling Languages,

Jackson, Thibodeaux, Porter, Sztipanovits

The Power of Rich Syntax for Modelbased Development, MSR

Ethan K. Jackson, Wolfram Schulte, Janos Sztipanovits
Technical Report, • 2009

Similar Papers

Loading similar papers…