日喀则网站建设小程序开发收费价目表
ERTS(Embedded Real Time System)会议是每双年在法国图卢兹举办的科技会议。ANSYS Scade, 及2012年被收购前的Esterel Scade，都会在该平台上发表Scade相关成果。下面列举一些Scade 在ERTS上历年的成果发表，从内容中，可学习到Scade技术的发展。
ERTS2024
- Perspectives on ML Safety Assurance
ERTS2022
- Programming Neural Networks Inference in a Safety-Critical Simulation-based Framework
- Do safety standards need radical changes
ERTS2020
- Towards Rebalancing Safety Design, Assessment and Assurance
ERTS2018
- SCADE AADL
- Software safety - A journey across domains and safety standards
- Avionics Certification: Back to Fundamentals with Overarching Properties
- Safety Analysis from System Design to System Simulation
- A Model Based Safety Critical Flow for the AURIX Multi-core Platform
- A Deterministic Approach for Embedded Human-Machine Interfaces (HMI) Testing Automation
ERTS2016
- Perspectives on Probabilistic Assessment of Systems and Software
ERTS2012
- From Model-Based to Real-Time Execution of Safety-Critical Applications: Coupling Scade with OASIS
- SCADE System, a comprehensive toolset for smooth transition from Model-Based System Engineering to certified embedded control and display software
- Formal Model Driven Engineering for Space Onboard Software
ERTS2010
- Towards a standard for C language, shared by the embedded software industry
- Developing an Argument for Def Stan from Existing Qualification Evidence
ERTS2008
- SCADE 6 A Model Based Solution For Safety Critical Software Development