Formal Modelling of a Microcontroller Instruction Set in B

  • Valério MedeirosJr.
  • David Déharbe
Conference paper

DOI: 10.1007/978-3-642-10452-7_19

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5902)
Cite this paper as:
Medeiros V., Déharbe D. (2009) Formal Modelling of a Microcontroller Instruction Set in B. In: Oliveira M.V.M., Woodcock J. (eds) Formal Methods: Foundations and Applications. SBMF 2009. Lecture Notes in Computer Science, vol 5902. Springer, Berlin, Heidelberg

Abstract

This paper describes an approach to model the functional aspects of the instruction set of microcontroller platforms using the notation of the B method. The paper presents specifically the case of the Z80 platform. This work is a contribution towards the extension of the B method to handle developments up to assembly level code.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Valério MedeirosJr.
    • 1
  • David Déharbe
    • 1
  1. 1.Federal University of Rio Grande do NorteNatalBrazil

Personalised recommendations