scenariotools.org
Simulation – ScenarioTools
http://scenariotools.org/simulation
Darr; Skip to Main Content. Tutorial: Automotive High-Voltage Coupling System. Download from Update Site. Simulate the behavior specified in an SML specification for a concrete simulation instance within the Eclipse workbench.
scenariotools.org
Modeling – ScenarioTools
http://scenariotools.org/modeling
Darr; Skip to Main Content. Tutorial: Automotive High-Voltage Coupling System. Download from Update Site. ScenarioTools supports the modeling of MSD specifications via the Papyrus UML editor. Papyrus and UML Extensions. Modeling Specifications of Static Systems. Modeling Specifications of Dynamic Systems. Papyrus and UML Extensions. The ScenarioTools MSD Editor. Modeling Specifications of Static Systems. MSD specifications can be modeled for. Package where the behavioral concerns of the Press are specifi...
jgreen.de
Posts | Joel Greenyer
http://jgreen.de/posts
Skip to primary content. Skip to secondary content. TGG Interpreter Tool Suite. MSD-to-SMV for Product Lines. Obama visits Hannover, our students attending. April 25, 2016. It was a bit tricky to get to the lecture today, due to the visit of President Obama in Hannover. Also students from out University had a chance to attend Obama’s speech. Of course they were excused for not attending to my lecture. Http:/ www.uni-hannover.de/de/aktuell/online-aktuell/details/news/1461. April 11, 2016. April 7, 2016.
scenariotools.org
Synthesis – ScenarioTools
http://scenariotools.org/what-is-scenariotools/synthesis
Darr; Skip to Main Content. Tutorial: Automotive High-Voltage Coupling System. Download from Update Site. ScenarioTools implements an on-the-fly synthesis algorithm that, based on the same play-out execution logic as the simulation, can synthesize a global finite-state controller for an MSD specifications, or show that a specification is inconsistent, i.e., no controller exists for the specification. Part of a state space diagram explored by the ScenarioTools synthesis.
scenariotools.org
Synthesis – ScenarioTools
http://scenariotools.org/synthesis
Darr; Skip to Main Content. Tutorial: Automotive High-Voltage Coupling System. Download from Update Site. ScenarioTools implements an on-the-fly synthesis algorithm that, based on the same play-out execution logic as the simulation, can synthesize a global finite-state controller for an MSD specifications, or show that a specification is inconsistent, i.e., no controller exists for the specification. Part of a state space diagram explored by the ScenarioTools synthesis.
scenariotools.org
Setup Development Environment – ScenarioTools
http://scenariotools.org/setup-development-environment
Darr; Skip to Main Content. Tutorial: Automotive High-Voltage Coupling System. Download from Update Site. This page describes how to setup the development environment for ScenarioTools. Import Projects and Working Sets. Configure an Eclipse Runtime-workspace. Install the latest Eclipse 4 “Modeling Tools” package ( http:/ www.eclipse.org/downloads/. Install Graphviz 2.28.0 for PDF-Export (You may have to set the PAHT variable manually). Start Eclipse and install Papyrus. Open Git Repositories View. Maybe ...
scenariotools.org
People – ScenarioTools
http://scenariotools.org/people
Darr; Skip to Main Content. Tutorial: Automotive High-Voltage Coupling System. Download from Update Site. ScenarioTools is designed and developed by the following people. Find the contact details on the linked personal pages. Prof Dr. Joel Greenyer. Valerio Panzica La Manna. DEpendable Evolvable Pervasive Software Engineering (DEEP-SE). Software Engineering Group, Heinz Nixdorf Institute.
scenariotools.org
Simulation – ScenarioTools
http://scenariotools.org/what-is-scenariotools/simulation
Darr; Skip to Main Content. Tutorial: Automotive High-Voltage Coupling System. Download from Update Site. The ScenarioTools supports the execution of MSDs via the play-out algorithm. The ScenarioTools runtime environment integrates into the Eclipse Debug Framework that is familiar to Java developers using Eclipse. Eclipse Debug Framework Integration. The ScenarioTools runtime integrates into the Eclipse Debug Framework.
scenariotools.org
Modeling – ScenarioTools
http://scenariotools.org/what-is-scenariotools/modeling
Darr; Skip to Main Content. Tutorial: Automotive High-Voltage Coupling System. Download from Update Site. ScenarioTools supports the modeling of MSD specifications via the Papyrus UML editor. Papyrus and UML Extensions. Modeling Specifications of Static Systems. Modeling Specifications of Dynamic Systems. Papyrus and UML Extensions. The ScenarioTools MSD Editor. Modeling Specifications of Static Systems. MSD specifications can be modeled for. Package where the behavioral concerns of the Press are specifi...
scenariotools.org
MSD Specifications – ScenarioTools
http://scenariotools.org/msd-specifications
Darr; Skip to Main Content. Tutorial: Automotive High-Voltage Coupling System. Download from Update Site. MSDs and the Object Systemmode. Consistency-Checking and Controller Synthesis. MSDs and the Object Systemmode. An MSD specification consists of a set of MSDs. An MSD can be. In the following, the components of the system and entities in its environment are called. And together make up the. The set of environment objects is called the. The objects interact via. Here we consider only. With an MSD messa...