Your Selections
Esterel Technologies
Filters
Collections
File Formats
Content Types
Dates
Sectors
Topics
Authors
Publishers
Affiliations
Events
This content is not included in your SAE MOBILUS subscription, or you are not logged in.
Transitioning to Model-Based Avionics Display Development
- Technical Paper
- 2013-01-2115
- DOI: https://doi.org/10.4271/2013-01-2115
Published
2013-09-17
by SAE International in United States
This content is not included in your SAE MOBILUS subscription, or you are not logged in.
A Multi-disciplinary and Multi-scale Simulation-Based Approach for the Design of Control Systems
- Technical Paper
- 2013-01-2212
- DOI: https://doi.org/10.4271/2013-01-2212
Published
2013-09-17
by SAE International in United States
This content is not included in your SAE MOBILUS subscription, or you are not logged in.
Developing an ARINC 661 Cockpit Display System Server with the SCADE Solutions for ARINC 661 Compliant Systems
- Technical Paper
- 2012-01-2113
- DOI: https://doi.org/10.4271/2012-01-2113
Published
2012-10-22
by SAE International in United States
This content is not included in your SAE MOBILUS subscription, or you are not logged in.
A COTS Approach to Post-WIMP Interactive Display Systems
- Technical Paper
- 2012-01-2119
- DOI: https://doi.org/10.4271/2012-01-2119
Published
2012-10-22
by SAE International in United States
This content is not included in your SAE MOBILUS subscription, or you are not logged in.
Using SCADE System for the Design and Integration of Critical Systems
- Technical Paper
- 2011-01-2577
- DOI: https://doi.org/10.4271/2011-01-2577
Published
2011-10-18
by SAE International in United States
This content is not included in your SAE MOBILUS subscription, or you are not logged in.
SCADE Solutions for the Efficient Development of ARINC 661 Cockpit Display Systems and User Applications
- Technical Paper
- 2011-01-2578
- DOI: https://doi.org/10.4271/2011-01-2578
Published
2011-10-18
by SAE International in United States
This content is not included in your SAE MOBILUS subscription, or you are not logged in.
Supporting Model-Based Development with Unambiguous Specifications, Formal Verification and Correct-By-Construction Embedded Software
- Technical Paper
- 2004-01-1768
- DOI: https://doi.org/10.4271/2004-01-1768
Published
2004-03-08
by SAE International in United States
This content is not included in your SAE MOBILUS subscription, or you are not logged in.
Formal Verification for Model-Based Development
- Technical Paper
- 2005-01-0781
- DOI: https://doi.org/10.4271/2005-01-0781
Published
2005-04-11
by SAE International in United States
This content is not included in your SAE MOBILUS subscription, or you are not logged in.
Model-Based Development of Distributed Embedded Real-Time Systems with the DECOS Tool-Chain
- Technical Paper
- 2007-01-3827
- DOI: https://doi.org/10.4271/2007-01-3827
Published
2007-09-17
by SAE International in United States
This content is not included in your SAE MOBILUS subscription, or you are not logged in.
Model-Based Design of Complex Integrated Systems for Synchronous Architectures
- Technical Paper
- 2007-01-3826
- DOI: https://doi.org/10.4271/2007-01-3826
Published
2007-09-17
by SAE International in United States