✦ LIBER ✦

Co-specification for co-design in the development of avionics systems

✍ Scribed by A.E.K Sahraoui; M Romdhani; A Jeffroy; A.A Jerraya

Publisher: Elsevier Science
Year: 1996
Tongue: English
Weight: 537 KB
Volume: 4
Category: Article
ISSN: 0967-0661
DOI: 10.1016/0967-0661(96)00080-9

No coin nor oath required. For personal study only.

✦ Synopsis

Hardware-software concurrent design, referred to as "co-design", is a new methodology that integrates the development of both hardware and software. It is made up mainly by the steps of specification, partitioning, and prototyping. This paper addresses the specification step. It proposes a specification paradigm based on the use of more than one single language. This approach is referred to as "co-specification". It deals with formalizing the requirements through several partial specifications. These are therefore composed in a unified model that is used for later co-design steps. The approach is illustrated through the specification of an avionics system that is part of the Airbus A340 on-board systems family.

📜 SIMILAR VOLUMES

Co-states for sliding mode design in lin

Co-states for sliding mode design in linear systems

✍ K. David Young; Ü. Özgüner 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 491 KB

A design methodology for the correct spe

A design methodology for the correct specification of VLSI systems

✍ C. Bolchini; M. Bombana; P. Cavalloro; C. Costi; F. Fummi; G. Zaza 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 679 KB

Co-evolutionary design for development:

Co-evolutionary design for development: influences shaping engineering design and implementation in Nepal and the global village

✍ Susan Murcott 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 306 KB

This paper calls for a new generation of engineers, and the technologies they will invent and implement, to meet the basic human needs for security, broadly defined. The greatest threats to security for most people are not armed conflict but 'common good' social and environmental challenges. 'Co-evo

Automated support for the formal specifi

Automated support for the formal specification and design of real-time systems

✍ Chris Ho-Stuart; Hussein Zedan; Ming Fang 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 513 KB

Development in the Design of Thermal Sys

Development in the Design of Thermal Systems

✍ A. P. Bunz 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 German ⚖ 105 KB

Co-ordinate transformation in back-stepp

Co-ordinate transformation in back-stepping design for a class of non-linear systems

✍ Wei Zhan; Le Yi Wang 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 523 KB

In this paper the problem of existence and construction of a co-ordinate transformation is investigated for non-linear systems appearing in feedback linearization and back-stepping adaptive control problems. Conditions are derived to completely characterize the classes of non-linear systems that are