Protocol-compliant simulators : generating protocol-compliant simulators for and from DCA's control interfaces

E. Rontogiannis

    Research output: ThesisPd Eng Thesis

    13 Downloads (Pure)

    Abstract

    Nowadays in ASML more and more software components are created using formal methods. Although these components can be verified formally against certain properties, their validation still has to be done to ensure that the requirements are met. Validation via testing requires effort and increases lead-time in the software development process. This report describes an investigation on the possibilities of testing formal components. The use of protocol simulators is successfully proposed as a solution direction for the validation of such components.
    Original languageEnglish
    Supervisors/Advisors
    • Wijs, Anton J., Supervisor
    • Ernest Mithun, X.L., External supervisor
    • Weber, S., External supervisor
    • ter Horst, I., External supervisor, External person
    Award date28 Sep 2017
    Place of PublicationEindhoven
    Publisher
    Publication statusPublished - 28 Sep 2017

    Bibliographical note

    PdEng thesis

    Fingerprint Dive into the research topics of 'Protocol-compliant simulators : generating protocol-compliant simulators for and from DCA's control interfaces'. Together they form a unique fingerprint.

  • Cite this