English
- إرجاع مجاني بسهولة
- أفضل عروض
المواصفات
| الناشر | European University Editions |
| رقم الكتاب المعياري الدولي 13 | 9786131511707 |
| رقم الكتاب المعياري الدولي 10 | 6131511705 |
| العنوان الفرعي للكتاب | Introduction Aux Safety Patterns |
| وصف الكتاب | 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. |
| تاريخ النشر | 06 Jul 2010 |
| عدد الصفحات | 160 |
Motifs Formels D'architectures Pour La Surete De Fonctionnement paperback - 06 Jul 2010
في عربة التسوق 
مجموع العربة 0.00 جنيه
