Embedded Market Forecasters(EMF), the premier market intelligence and advisory firm in the global embedded industry and the market research division of American Technology International, has published an analysis of model-driven development best practices. This report, entitled, “Model Driven Development of Certifiable Software: A Best Practice for Safety-Critical Applications describes that many embedded developers in “critical software markets” are so busy that they are not aware of the available advances in tool technology that improve their productivity in developing safety-critical applications. Dr. Jerry Krasner, Embedded Market Forecaster’s Vice President and Chief Analyst, culled EMF’s detailed developer surveys to effectively understand the issues developers face and the best practices, tools, and methodologies they use to address those issues. In referring to safety-critical embedded software development, Dr. Krasner says, “The fact that software can be certified using formal processes and tools has been largely overlooked in the safety-critical software market.”
EMF describes that standards and requirements are driving the new embedded marketplace because companies can realize benefits from reduced development costs as well as improved processes and product quality. This is of paramount importance in the expanding embedded marketplace of safety and security related application development. According to EMF, characteristics for success in these markets include interoperability, guaranteed software quality, and enhanced safety and security.
The EMF report details the benefits of formal methodologies and tools compared to informal and semi-formal methods and tools. There are benefits to flexible yet informal and semi-formal approaches such as those presented in UML/SysML model-driven development environments like Rhapsody®, Artisan Studio®, and the Simulink® proprietary tool and modeling language. However, for safety-critical application development and verification, a formal notation like the Scade® language and the SCADE Suite[tm] model-based development environment are required for the demands of today’s application complexity. Based on a formal language, SCADE Suite offers certified code generation for these safety-critical domains. According to Dr. Krasner, “When it comes to developing critical software, our point of view is that formal methods and tools can provide the necessary rigor for developing and certifying the software product in an efficient way for the various application domains that we have described.”
About Esterel SCADE
Esterel SCADE, a design environment for safety-critical embedded software applications, provides graphical specification capture and simulation, along with the capability to check safety properties at the model level. It includes SCADE Suite® and SCADE Display®. SCADE Suite is the market leading, model-based development environment dedicated to safety-critical embedded software:
- DO-178B qualified up to level A for Military and Aerospace Industries
- IEC 61508 certified at SIL 3 by TÜV for Heavy Equipment, Automotive, and Energy
- EN 50128 certified at SIL 3/4 by TÜV for Rail Transportation
SCADE Display is the leading edge embedded graphics design environment dedicated to safety-critical display systems, DO-178B qualified up to level A for Military and Aerospace Industries.
About Esterel Technologies – An ISO 9001:2000 Certified Company
Esterel Technologies is the worldwide leader of model-based design, verification and code generation tools for critical embedded systems. Esterel Technologies is a privately held company with headquarters in Elancourt, France and Boston, Massachusetts, USA, and with direct sales offices in Germany, the United Kingdom, and China.
About Embedded Market Forecasters
The premier market intelligence and advisory firm in the embedded technology industry. Embedded technology refers to the ubiquitous class of products which use some type of processor as a controller. These products include guided missiles, radars, and avionics as well as robots and medical electronics. Embedded Market Forecasters (EMF) is the embedded market research division of American Technology International, Inc. EMF has extensive experience providing both multi-client and custom research on topics including systems with embedded boards, buses, software, hardware and development tools markets as well as embedded technology applications including embedded systems, digital signal processors (DSPs), FPGAs, single board computers, communications/IT, and multimedia. EMF clients range from startups to Global 100 companies worldwide. Founded by Dr. Jerry Krasner, a recognized authority on embedded markets, product development and channel distribution, EMF is headquartered in Framingham, Mass.
SCADE is a registered trademark and SCADE Suite and SCADE Display are trademarks of Esterel Technologies. Rhapsody – Rhapsody is a Trademark of IBM Corporation. Artisan Studio – Artisan Studio is a Trademark of Artisan Software Tools, Inc. Simulink – Simulink is a Trademark of The Mathworks, Inc.