Motifs Formels D'architectures Pour La Surete De Fonctionnement paperback - 06 Jul 2010
Now:
AED 264.25 Inclusive of VAT
Get it by 24 Dec
Earn 5% cashback with the Mashreq noon Credit Card. Apply now
Pay 4 interest-free payments of AED 66.06.Learn more
Split in 4 payments of AED 66.06. No interest. No late fees.Learn more
1
Free delivery on Lockers & Pickup Points
Learn more
Enjoy hassle free returns with this offer.
Item as Described
50%
Partner Since
2+ YearsSpecifications
| 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 AED 264.25
