Abstract
The software B method has so far been mainly used in the industrial world to develop safety critical software with very basic memory management limited to arrays of fixed size defined at compilation time.
This work has been supported by an FUI 19 grant of the French government.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
References
Abrial, J.: The B-book - Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)
Badeau, F., Amelot, A.: Using B as a high level programming language in an industrial project: Roissy VAL. In: Treharne, H., King, S., Henson, M., Schneider, S. (eds.) ZB 2005. LNCS, vol. 3455, pp. 334–354. Springer, Heidelberg (2005). https://doi.org/10.1007/11415787_20
Behm, P., Benoit, P., Faivre, A., Meynadier, J.-M.: Météor: a successful application of B in a large project. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. LNCS, vol. 1708, pp. 369–387. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48119-2_22
Common Criteria: Common criteria for information technology security evaluation. CCMB 2017–04-001, Common Criteria Portal (2017)
IEC: Functional safety of electrical/electronic/programmable electronic safety-related systems. IEC 61508:2010, International Electrotechnical Commission, Geneva, Switzerland (2016)
IEC: OPC unified architecture. IEC TR 62541:2016, International Electrotechnical Commission, Geneva, Switzerland (2016)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Badeau, F., Lacroix, V., Monfort, V., Voisin, L., Métayer, C. (2018). Modelling Dynamic Data Structures with the B Method. In: Butler, M., Raschke, A., Hoang, T., Reichl, K. (eds) Abstract State Machines, Alloy, B, TLA, VDM, and Z. ABZ 2018. Lecture Notes in Computer Science(), vol 10817. Springer, Cham. https://doi.org/10.1007/978-3-319-91271-4_34
Download citation
DOI: https://doi.org/10.1007/978-3-319-91271-4_34
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-91270-7
Online ISBN: 978-3-319-91271-4
eBook Packages: Computer ScienceComputer Science (R0)