Logo des Repositoriums

Auflistung nach Autor:in "Greenyer, Joel"

1 - 3 von 3
  • Konferenzbeitrag
    Incrementally synthesizing controllers from scenario-based product line specifications
    (Software-engineering and management 2015, 2015) Greenyer, Joel; Brenner, Christian; Cordy, Maxime; Heymans, Patrick; Gressi, Erika
  • Konferenzbeitrag
    Symbolic Execution for Realizability-Checking of Scenario-based Specifications
    (Software Engineering und Software Management 2018, 2018) Greenyer, Joel; Gutjahr, Timo
    (Extended abstract of: Greenyer, Joel; Gutjahr, Timo: Symbolic Execution for Realizability-Checking of Scenario-Based Specifications. In: 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS). volume 00, pp. 312–322, Sept. 2017.) Scenario-based specification with the Scenario Modeling Language (SML) is an intuitive approach for formally specifying the behavior of reactive systems. SML is close to how humans conceive and communicate requirements, yet SML is executable and simulation and formal realizability checking can find specification flaws early. The realizability checking complexity is, however, exponential in the number of scenarios and variables. Therefore algorithms relying on explicit-state exploration do not scale and, especially when specifications have message parameters and variables over large domains, fail to unfold their potential. In this paper, we present a technique for the symbolic execution of SML specifications that interprets integer message parameters and variables symbolically. It can be used for symbolic realizability checking and interactive symbolic simulation. We implemented the technique in ScenarioTools. Evaluation shows drastic performance improvements over the explicit-state approach for a range of examples. Moreover, symbolic checking produces more concise counter examples, which eases the comprehension of specification flaws.
  • Konferenzbeitrag
    Synthesis of Cost-optimized Controllers from Scenario-based GR(1) Specifications
    (Modellierung 2018, 2018) Gritzner, Daniel; Greenyer, Joel
    Modern systems often consist of many software-controlled components which must cooperate to fulfill difficult to achieve goals. Each component must properly react to both, external events, e.g., user inputs, and internal events, i.e., actions of other components. Making each component behave such that the cost of running the system is minimized, e.g., by minimizing total energy consumption, adds additional complexity. To support engineers in the difficult design of such systems we developed a scenario-based specification approach enabling the intuitive modeling of goals and assumptions using short scenarios. These specifications can be simulated and automatically analyzed, allowing defects to be detected and fixed early in the development process. In this paper we present and evaluate an extension to our approach which makes it possible to model costs of processes and thus to synthesize controllers which not only guarantee that the specified goals are fulfilled but are being fulfilled in a cost-optimized manner. Our approach even considers the transfer of energy between components to enable the design of systems in which, e.g., the braking energy of moving components can be leveraged to reduce the cost and environmental impact of a system instead of wasting this energy in the form of heat.