A Model-Based Certification Framework for the EnergyBus Standard-Reference-Cited by-同舟云学术

A Model-Based Certification Framework for the EnergyBus Standard

Published:2014 Issue: Volume: Page:84-99
ISSN:0302-9743
Container-title:Formal Techniques for Distributed Objects, Components, and Systems
language:
Short-container-title:

Author:

Graf-Brill Alexander,Hermanns Holger,Garavel Hubert

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-43613-4_6

Reference27 articles.

1. Vetter, M., Rohr, L., Ortiz, B., Schies, A., Schwunk, S., Wachtel, J.: Dezentrale netzgekoppelte PV-Batteriesysteme. In: VDI-Konferenz Elektrische Energiespeicher – Stationäre Anwendungen und Industriebatterien, pp. 101–112 (2011)

2. CAN in Automation International Users and Manufacturers Group e.V., EnergyBus e. V.: CiA 454 Work Draft Application profile for energy management systems – Document series 1 to 14, v. 1.0.6 (2012)

3. Champelovier, D., Clerc, X., Garavel, H., Guerte, Y., Lang, F., McKinty, C., Powazny, V., Serwe, W., Smeding, G.: Reference Manual of the LOTOS NT to LOTOS Translator (Version 5.8). Technical report, INRIA/VASY and INRIA/CONVECS (2013)

4. ISO/IEC: LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807 (1989)

5. ISO/IEC: Enhancements to LOTOS (E-LOTOS). International Standard 15437:2001 (2001)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Is CADP an Applicable Formal Method?;Electronic Proceedings in Theoretical Computer Science;2021-11-16

2. Component-aware Input-Output Conformance;Formal Techniques for Distributed Objects, Components, and Systems;2019

3. TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation;Tools and Algorithms for the Construction and Analysis of Systems;2018

4. Model-Based Testing for Asynchronous Systems;Lecture Notes in Computer Science;2017

5. From Lotosphere to Thermosphere;ModelEd, TestEd, TrustEd;2017