1
Available Soon
Specifications
| Publisher | European University Editions |
| ISBN 13 | 9786131511707 |
| ISBN 10 | 6131511705 |
| Book Subtitle | Introduction Aux Safety Patterns |
| Book Description | This book provides methods for modeling and evaluating the security architecture of complex embedded systems. These methods are based on general patterns of system architectures corresponding to security elements. The principle is that of "design patterns" developed in software engineering. These patterns can be formalized with the help of formal languages like AltaRica. In our case, the patterns correspond to abstractions of concrete architectures and therefore require a more declarative modeling. The studied properties being generally dynamic, we chose to use a temporal logic to express them. The patterns therefore consist of an AltaRica part and a part of properties. This type of mixed modeling has several advantages, especially in the upstream design of system architectures where it is possible to manipulate both clearly defined parts of a system and specifications. It also aims to facilitate the allocation of requirements for architecture validation and prototyping. |
| Author | Christophe Kehren |
| Publication Date | 06 Jul 2010 |
| Number of Pages | 160 |
Motifs Formels D'architectures Pour La Surete De Fonctionnement paperback - 06 Jul 2010
Added to cart
Cart Total SAR 0.00
