Modelling and certification for electric mobility

Graf-Brill, Alexander; Hartmanns, Arnd; Hermanns, Holger; Rose, Steffen

doi:10.1109/indin.2017.8104755

Cited by 6 publications

(5 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These techniques and tools are complimentary to MBT, which establishes a relation between a model (which now acts as a specification, and may earlier have been verified with model checking) and the real implementation. Notably, the Modest Toolset also includes an MBT tool [24], thus providing all three techniques for probabilistic systems in one package. The "opposite" of MBT, deriving a model from an implementation using automata learning [51,53], is also gaining popularity and is especially well suited for the analysis of legacy systems [41].…”

Section: Related Workmentioning

confidence: 99%

Model-based testing of stochastically timed systems

Gerhold

Hartmanns

Stoelinga

2019

Innovations Syst Softw Eng

Self Cite

View full text Add to dashboard Cite

Many systems are inherently stochastic: they interact with unpredictable environments or use randomised algorithms. Classical model-based testing is insufficient for such systems: it only covers functional correctness. In this paper, we present two modelbased testing frameworks that additionally cover the stochastic aspects in hard and soft real-time systems. Using the theory of Markov automata and stochastic automata for specifications, test cases, and a formal notion of conformance, they provide clean mechanisms to represent underspecification, randomisation, and stochastic timing. Markov automata provide a simple memoryless model of time, while stochastic automata support arbitrary continuous and discrete probability distributions. We cleanly define the theoretical foundations, outline practical algorithms for statistical conformance checking, and evaluate both frameworks' capabilities by testing timing aspects of the Bluetooth device discovery protocol. We highlight the trade-off of simple and efficient statistical evaluation for Markov automata versus precise and realistic modelling with stochastic automata. Keywords Model-based testing • Markov automata • Stochastic automata • Ioco conformance This work is supported by the 3TU.BSR project, by NWO projects BEAT and SUMBAT, and by the NWO VENI Grant No. 639.021.754.

show abstract

Section: Related Workmentioning

confidence: 99%

Model-based testing of stochastically timed systems

Gerhold

Hartmanns

Stoelinga

2019

Innovations Syst Softw Eng

Self Cite

View full text Add to dashboard Cite

show abstract

“…Application context EnergyBus. The EnergyBus is a case study [5] which drives the concrete development of model-based testing theory and applications of us and our coworkers [15,13,14,20]. It aims at establishing a common basis for the interchange and interoperation of electric devices in the context of energy management systems (EMS).…”

Section: A Practical Theorymentioning

confidence: 99%

Component-aware Input-Output Conformance

Graf-Brill

Hermanns

2019

Formal Techniques for Distributed Objects, Components, and Systems

Self Cite

View full text Add to dashboard Cite

Black-box conformance testing based on a compositional model of the intended behaviour is a very attractive approach to validate the correctness of an implementation. In this context, input-output conformance is a scientifically well-established formalisation of the testing process. This paper discusses peculiar problems arising in situations where the implementation is a monolithic black box, for instance for reasons of intellectual property restrictions, while the specification is compositional. In essence, tests need to be enabled to observe progress in individual specification-level components. For that, we will reconsider input-output conformance so that it can faithfully deal with such situations. Refined notions of quiescence play a central role in a proper treatment of the problem. We focus on the scenario of parallel components with fully asynchronous communication covering very many notorious practical examples. We finally illustrate the practical implications of component-aware conformance testing in the context of a prominent example, namely networked embedded software.

show abstract

“…This standard technology has been proposed by CiA (CAN in Automation) [8]. The EDS files are easy to use for integrating the device in a network and have an important role in configuring the CANopen networks [9]. www.ijacsa.thesai.org…”

Section: Related Workmentioning

confidence: 99%

A Solution for the Uniform Integration of Field Devices in an Industrial Supervisory Control and Data Acquisition System

Tcaciuc¹

2018

ijacsa

View full text Add to dashboard Cite

Supervisory Control and Data Acquisition (SCADA) systems are increasingly used solutions for monitoring and controlling various industrial processes. The existence of a large number of communication protocols helps to deploy complex systems that enable users to access data from one or more processes at a certain distance, and even control those processes. This article presents a solution for the uniform integration of field devices in an industrial SCADA system. This uniform integration is based on the CANopen communication protocol and the EDS files containing detailed descriptions of devices in a CANopen network. Based on the information and structure of the EDS files, we have designed and developed a database aimed at storing these data in an organization that enables them to be safely and efficiently processed. This database is the basis of a website application that enables the user to learn the characteristics of the field devices connected to the local industrial networks in a SCADA system.

show abstract

Modelling and certification for electric mobility

Cited by 6 publications

References 19 publications

Model-based testing of stochastically timed systems

Model-based testing of stochastically timed systems

Component-aware Input-Output Conformance

A Solution for the Uniform Integration of Field Devices in an Industrial Supervisory Control and Data Acquisition System

Contact Info

Product

Resources

About