Composing ActivityCharts/StateCharts, SDL and SAO specifications for codesign in avionics

Authors:
M. Romdhani;P. Chambert;A. Jeffroy;P. de Chazelles;A. A. Jerraya
Affiliations:
AEROSPATIALE Aircraft, Avionics and Systems Division, 316, Route de Bayonne, 31060 Toulouse Cedex 03, France and TIMA/CNRS-INPG-UJF Laboratory, System-Level Synthesis Group, 46 avenue Félix V ...;AEROSPATIALE Aircraft, Avionics and Systems Division, 316, Route de Bayonne, 31060 Toulouse Cedex 03, France;AEROSPATIALE Aircraft, Avionics and Systems Division, 316, Route de Bayonne, 31060 Toulouse Cedex 03, France;AEROSPATIALE Aircraft, Avionics and Systems Division, 316, Route de Bayonne, 31060 Toulouse Cedex 03, France;TIMA/CNRS-INPG-UJF Laboratory, System-Level Synthesis Group, 46 avenue Félix Viallet, 38031 Grenoble Cedex, France
Venue:
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Year:
1995

Strategies for real-time system specification

Strategies for real-time system specification
Conjunction as composition

ACM Transactions on Software Engineering and Methodology (TOSEM)
A Model and Methodology for Hardware-Software Codesign

IEEE Design & Test
A Hardware-Software Codesign Methodology for DSP Applications

IEEE Design & Test
Hardware-Software Cosynthesis for Digital Systems

IEEE Design & Test
HW/SW Co-Design with PRAMs Using CoDES

CHDL '93 Proceedings of the 11th IFIP WG10.2 International Conference sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC on Computer Hardware Description Languages and their Applications
Modeling and rapid prototyping of avionics using STATEMATE

RSP '95 Proceedings of the Sixth IEEE International Workshop on Rapid System Prototyping (RSP'95)

Hi-index	0.00