Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language-Reference-Cited by-同舟云学术

Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language

Published:2004-06 Issue:2 Volume:9 Page:67-99
ISSN:0929-5585
Container-title:Design Automation for Embedded Systems
language:en
Short-container-title:Des Autom Embed Syst

Author:

Voros Nikolaos S.,Snook Colin F.,Hallerstede Stefan,Masselos Konstantinos

Publisher

Springer Science and Business Media LLC

Subject

Hardware and Architecture,Software

Link

http://link.springer.com/content/pdf/10.1007/s10617-005-1184-6.pdf

Reference26 articles.

1. Abrial, J. R. The B Book: Assigning Programs to Meanings. Cambridge University Press, 1996.

2. Abrial, J. R. Event Driven Electronic Circuit Construction, Available at: http://www.atelierb.societe.com/ressources/articles/cir.pdf.

3. Abrial, J. R. Event Model Decomposition, 2004, Available at: http://www.atelierb.societe.com/resources/articles/dcmp3.pdf.

4. Boulanger, J. L., and G. Mariano. Formalization of Digital Circuits Using the B Method. In Proceedings of 3rd European Systems Engineering Conference, 2002, pp. 281–290.

5. B-Toolkit, ‘B-Toolkit User’s Manual,’ 1996, release 3.2, B-Core Ltd, Oxford, United Kingdom.

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

1. B2SAT: A Bare-Metal Reduction of B to SAT;Lecture Notes in Computer Science;2024-09-13

2. The First Twenty-Five Years of Industrial Use of the B-Method;Formal Methods for Industrial Critical Systems;2020

3. Formal Proof of the Dependable Bypassing Routing Algorithm Suitable for Adaptive Networks on Chip QnoC Architecture;Systems;2017-02-22

4. Engineering Embedded Software;Behavioral Modeling for Embedded Systems and Technologies;2010

5. UML-B;ACM Transactions on Software Engineering and Methodology;2006-01