Next: , Previous: , Up: Top   [Contents]

4 Dezyne external

In this chapter we will

This chapter consists of two parts: first we will disclose some information on how simulation and verification by Dezyne works and what the effects are of using ‘external’. The second part of the tutorial will focus on designing a solution for the problems that can be found with ‘external’.

The nature of ‘external’ requires you to be able to think in terms of threads and sequencing of events across multiple threads. You will be assisted in this during the tutorial, but it helps if you are familiar with the concepts.

This chapter will build further upon the Alarm System models and foreign implementation from the previous chapters. With ‘external’, we will be able to discover interesting real-world behavior in the Alarm System that can lead to illegality in its components.