A multi-formalisms approach for codesign in the development of avionics

Sahraoui A.E.K.; Romdhani M.

首页> 外文期刊>IEEE Aerospace and Electronic Systems Magazine >A multi-formalisms approach for codesign in the development of avionics

【24h】

A multi-formalisms approach for codesign in the development of avionics

机译：航空电子学发展中的代码形式的多种形式主义方法

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper presents a new approach in the development of avionics at AEROSPATIALE. The approach is based on a selective use of specification languages. Its aim is to compose partial avionics specifications in a unified format which is used for later concurrent hardware/software design steps. A demonstrator of the approach is currently in progress. It deals with the re-design of an avionics on-board system that belongs to the family of AIRBUS A340. The multi-languages specification is achieved through three graphical specification languages: Harel's StateCharts, SDL and SAO. The status of work and future perspectives are outlined.

机译：本文提出了一种在航空航天航空电子学发展中的新方法。该方法基于对规范语言的选择性使用。其目的是以统一的格式构成部分航空电子规范，以用于以后的并发硬件/软件设计步骤。目前正在对该方法进行演示。它负责重新设计属于AIRBUS A340系列的航空电子机载系统。多语言规范是通过三种图形规范语言实现的：Harel的StateCharts，SDL和SAO。概述了工作现状和未来观点。

著录项

来源
《IEEE Aerospace and Electronic Systems Magazine》 |1996年第5期|P.33-38|共6页
作者
Sahraoui A.E.K.; Romdhani M.;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类航空;
关键词

相似文献

外文文献
中文文献
专利

1. APPROACH OF INTEGRATING BEHAVIOUR-DRIVEN DEVELOPMENT WITH HARDWARE/SOFTWARE CODESIGN [J] . MOHAMMAD ALHAJ, GILBERT ARBEZ, LIAM PEYTON International Journal of Innovative Computing Information and Control . 2019,第3期

机译：用硬件/软件代码集成行为驱动开发的方法
2. Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism [J] . Bernardi Simona, Marrone Stefano, Merseguer Jose, Software and systems modeling . 2019,第3期

机译：迈向采用模型驱动的工程方法，以使用多种形式主义评估非功能性属性
3. Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism [J] . Bernardi Simona, Marrone Stefano, Merseguer Jose, Software and systems modeling . 2019,第3期

机译：朝着使用多重主义评估非功能性质的模型驱动的工程方法
4. Composing ActivityCharts/StateCharts, SDL and SAO specifications for codesign in avionics [C] . M. Romdhani, P. Chambert, A. Jeffroy, Proceedings of the Fifth Workshop on Programming Languages and Operating Systems . 2009

机译：组成航空电子代码签名的活动图/状态图，SDL和SAO规范
5. Managing data locality in future memory hierarchies using a hardware software codesign approach. [D] . Awasthi, Manu. 2014

机译：使用硬件软件代码签名方法管理将来的内存层次结构中的数据局部性。
6. Psychosocial volunteer support for older adults with cognitive impairment: development of MyCare Ageing using a codesign approach via action research [O] . Darshini Ayton, Renée ODonnell, Dave Vicary, 2020

机译：对具有认知障碍的老年人的心理社会志愿者支持：通过行动研究使用代号方法的MyCare老龄化的发展
7. Psychosocial volunteer support for older adults with cognitive impairment: development of MyCare Ageing using a codesign approach via action research [O] . Darshini Ayton, Renée ODonnell, Dave Vicary, 2020

机译：对具有认知障碍的老年人的心理社会志愿者支持：通过行动研究使用代号方法的MyCare老龄化的发展
8. Model of the ADA Avionics Real-Time System: An Example of the Benefits of theHardware/Software Codesign Approach in Development of Real-Time Systems [R] . Clark, B. E., Gray, F. G., Morrison, J. T., 1992

机译：aDa航空电子实时系统模型：实时系统开发中硬件/软件协同设计方法的优势示例

A multi-formalisms approach for codesign in the development of avionics

摘要

著录项

相似文献

相关主题

期刊订阅