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™ 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.”
For the complete report including a detailed analysis of model-based algorithm exploration, model-based system architecture and design, and model-based software development with certification visit: http://www.embeddedforecast.com.
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 EMF: 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.
|Embedded Market Forecasters|
|1257 Worcester Rd. #500|
|Framingham, MA 01701|