Case Study: Methodology for the Design and Development of Distributed Embedded Systems

This project introduces a methodology that is applied to the design and development of an embedded and distributed access control system. This methodology makes it easier to decouple logic, conflict resolution policy, and actions, resulting in a modular, simple, maintainable, formal, and flexible system. In addition, formal verification of logic is achieved at all stages of development. To model the logic of the system, petri nets are used and converted into executable code using the generalized equation of state. This solution manages to preserve the verified properties using a mathematical formalism. A concurrency monitor is integrated into the implementation that encompasses the various software and hardware components of the system. In addition, defined interfaces are established between devices, and standard libraries and protocols are incorporated. Also, an algorithm is used to automate the determination of the number of threads and their responsibilities. This technique simplifies management and optimizes system performance. In addition, the benefits of applying the proposed methodology to the design of critical and reactive systems are highlighted. Its ease of dealing with complex problems is evident, guaranteeing the scalability and reliability of the developed system.