Add to ORKGThe future generation of networked, technical applications demands support for the development of high quality soft-ware for the proper real-time coordination of safety-critical systems. In this paper, we present the SceBaSy plugin for the Fujaba Real-Time Tool Suite which supports the scenario-based synthesis of the real-time coordination pat-terns. Extending our approach for the compositional for-mal verification of Mechatronic UML models described by components and patterns [5], the plugin enables the de-signer to specify the required real-time coordination using multiple parameterized scenarios described by a subset of the UML 2.0 sequence diagram notation. In addition to the synthesis, comfortable analysis capabilities have been realiz...
Today’s embedded systems often do not operate individually any-more. Instead, they form so called cy...
Today's embedded systems often do not operate individually anymore. Instead, they form so called cyb...
Abstract. We present a real-time extension of UML statecharts to enable modelling and verification o...
Abstract. The continuing trend towards more sophisticated technical applica-tions results in an incr...
Current techniques for the verification of software as e.g. model checking are limited when it comes...
International audienceInnovation in today’s mechanical systems is often only possible due to the emb...
Abstract. Innovation in today’s mechanical systems is often only pos-sible due to the embedded softw...
Today, an increasing demand for high quality real-time soft-ware for complex, safety-critical system...
Abstract: This paper addresses the design of control-dominated systems using a synchronous approach ...
Modern technical systems often consist of multiple components that must fulfill complex functions in...
Abstract. Due to the safety-critical character of mechatronic systems the engi-neers have to face th...
htmlabstractIt is difficult to construct correct models for distributed large-scale service-oriented...
Future smart systems will provide functionality by dynamically interacting with each other in cyber-...
Abstract. While traditionally the environment considered by an autonomous mechatronic systems only c...
There are many examples in the literature of algorithms for synthesizing state machines from scenari...
Today’s embedded systems often do not operate individually any-more. Instead, they form so called cy...
Today's embedded systems often do not operate individually anymore. Instead, they form so called cyb...
Abstract. We present a real-time extension of UML statecharts to enable modelling and verification o...
Abstract. The continuing trend towards more sophisticated technical applica-tions results in an incr...
Current techniques for the verification of software as e.g. model checking are limited when it comes...
International audienceInnovation in today’s mechanical systems is often only possible due to the emb...
Abstract. Innovation in today’s mechanical systems is often only pos-sible due to the embedded softw...
Today, an increasing demand for high quality real-time soft-ware for complex, safety-critical system...
Abstract: This paper addresses the design of control-dominated systems using a synchronous approach ...
Modern technical systems often consist of multiple components that must fulfill complex functions in...
Abstract. Due to the safety-critical character of mechatronic systems the engi-neers have to face th...
htmlabstractIt is difficult to construct correct models for distributed large-scale service-oriented...
Future smart systems will provide functionality by dynamically interacting with each other in cyber-...
Abstract. While traditionally the environment considered by an autonomous mechatronic systems only c...
There are many examples in the literature of algorithms for synthesizing state machines from scenari...
Today’s embedded systems often do not operate individually any-more. Instead, they form so called cy...
Today's embedded systems often do not operate individually anymore. Instead, they form so called cyb...
Abstract. We present a real-time extension of UML statecharts to enable modelling and verification o...