Essays about: "Promela"
Found 4 essays containing the word Promela.
-
1. Formal Verification of Hardware Peripheral with Security Property
University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)Abstract : One problem with computers is that the operating system automatically trusts any externallyconnected peripheral. This can result in abuse when a peripheral technically can violate the security model because the peripheral is trusted. Because of that the security is an important issue to look at. READ MORE
-
2. Survey of Modelling Formalisms for MISRA-C:1998 Software Architecture Modelling
University essay from KTH/Maskinkonstruktion (Inst.)Abstract : The complexity of electrical and electronic automotivesystems have increased steadily over the previous decades, with modern vehicles containing as many as 50-70 Elec-tronic Control Units, and several CAN-communication net-works. In order to address the increasing complexity of these safety-critical embedded systems, safety standards such as ISO 26262 are making their way to the market, posing strong restrictions on the development process of automotive systems in order to ensure safety. READ MORE
-
3. Framework for Analyzing Highly Concurrent Algorithms in SPIN
University essay from Institutionen för informationsteknologiAbstract : Human beings have gradually become dependent on computers, and more specifically, the software that they are working with. Most skillful programmers are working hard and spend much time testing or debugging their programs in order to make their software reliable. READ MORE
-
4. Model Checking C Programs by Translating C to Promela
University essay from Institutionen för informationsteknologiAbstract : Nowadays, the cost of program errors is increasing from day to day, so software reliability becomes a critical problem to the whole world. C is one of the most popular programming languages, and has been widely used for developing all types of software. READ MORE