Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme

سیستم های تعبیه شده خودرو، شبکه های توزیع شده پیچیده ای هستند که از زیرسیستم های سخت افزاری و نرم افزاری متعددی تشکیل شده اند. بسیاری از عملکردها توزیع شده اند و تنها از طریق تعامل چندین زیرسیستم قابل ارائه هستند. بنابراین پیش نویس معماری منطقی، که در آن مشخصات معماری شبکه و عملکردهای توزیع شده صورت می گیرد، بخشی ضروری از فرآیند توسعه است. به منظور کاهش تلاش تضمین کیفیت و دستیابی به کیفیت بالای محصول، مشخص کردن رفتار و عملکردهایی که اجازه هیچ گونه ابهامی را نمی دهد و در عین حال امکان تعریف دقیق آزادی را برای توسعه بیشتر سیستم فراهم می کند، از همان ابتدای مرحله طراحی سیستم مهم است.

David Trachtenherz راه حلی را توسعه می دهد که شرح ویژگی گرا از معماری منطقی سیستم های تعبیه شده است، که امکان توصیف دقیق مشخصی از ویژگی های عملکردی با درجه انتزاع قابل انتخاب برای مراحل و سطوح مختلف توسعه را فراهم می کند. در این رویکرد، ایجاد مشخصات عملکردی توسط تکنیک‌های ساختاری و ارائه تصویری پشتیبانی می‌شود. کاربرد عملی مفاهیم ارائه شده در یک مطالعه موردی صنعتی نشان داده شده است.

Automobile eingebettete Systeme sind komplexe verteilte Netzwerke, die aus zahlreichen Hardware- und Software-Teilsystemen bestehen. Viele Funktionalitäten sind verteilt und können erst durch das Zusammenwirken mehrerer Teilsysteme erbracht werden. Der logische Architekturentwurf, in dem die Spezifikation der Netzwerkarchitektur sowie der verteilten Funktionalitäten stattfindet, ist daher ein wesentlicher Bestandteil des Entwicklungsprozesses. Um den Qualitätssicherungsaufwand zu verringern und hohe Produktqualität zu erreichen, ist bereits beim Systementwurf eine Spezifikation von Verhalten und Funktionalitäten wichtig, die keine Mehrdeutigkeiten zulässt und gleichzeitig präzise Definition von Freiräumen für die weitere Systementwicklung ermöglicht.

David Trachtenherz entwickelt den Lösungsansatz der eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine präzise deklarative Spezifikation funktionaler Eigenschaften mit wählbarem Grad der Abstraktion für unterschiedliche Entwicklungsphasen und -ebenen ermöglicht. Die Erstellung funktionaler Spezifikationen wird in diesem Ansatz durch strukturierende und veranschaulichende Darstellungstechniken unterstützt. An einer industriellen Fallstudie wird die praktische Anwendung der vorgestellten Konzepte demonstriert.