Embed Size (px)
Citation preview
Military Embedded Systems Resource Guide
Military Embedded Systems Resource Guide
Sof
twar
e/M
idd
lew
are
102 Resource Guide 2009 MilitaRy EMBEDDED SyStEMS
For more information, contact: [email protected] RSC# 42571 @ www.mil-embedded.com/rsc
Twin Oaks Computing, Inc755 Maleta Ln., Ste 203 • Castle Rock, CO 80108 720-733-7906www.twinoakscomputing.com
The Publish-Subscribe communication paradigm eases system design, development, integration, and test by sup-porting Open Architecture principles.
The CoreDX Data Distribution Software provides a high-throughput, standards compliant, Publish-Subscribe middleware component. Built with a focus on size and performance, the CoreDX middleware delivers a quality implementation of the OMG Data Distribution Service (DDS) standard in a small footprint library.
CoreDX offers proven interoperable data communications with the Real-Time Publish Subscribe (RTPS) wire proto-col. Application integration is easy with support for C and C++.
Make CoreDX a part of your architecture and enjoy Qual-ity of Service enabled Publish-Subscribe communications.
Communication stacks
CoreDX Data Distribution Software
High-performance Publish-Subscribe communications ›Small footprint – library is less than 500KBytes ›Multi-Vendor DDS Interoperability with RTPS wire protocol ›Type-safe, portable, code generation for error-free integration ›No operating system services or daemons required ›Robust Quality of Service policies tailor middleware behavior ›Dynamic Discovery for easy deployment ›Perfect for embedded, resource constrained applications ›Powerful data management – time and content filtering ›Synchronous and Asynchronous event notification ›Supports Linux, QNX, Solaris, VxWorks, Windows ›
FEATURES
For more information, contact: [email protected] RSC# 36878 @ www.mil-embedded.com/rsc
Esterel Technologies, Inc.100 View Street, Suite 208 • Mountain View, CA 94041860-417-2464www.esterel-technologies.com
Esterel SCADE Suite’s formal model-based development reduces time-to-deployment and certification for criti-cal embedded control applications with graphical design, simulation, formal verification, and qualifiable code gen-eration. SCADE Suite enables full life-cycle development with support for requirements traceability, configuration management, testing, and automatic documentation gen-eration and deployment.
SCADE Suite improves specification quality and accuracy by providing formal, deterministic, and verifiable specifi-cations.
SCADE Suite has been qualified/certified by FAA/EASA and TUV SUD under DO-178B up to Level A for Aerospace and Defense Appplications. For Industrial Applications, SCADE Suite has been certified to SIL 3 under IEC 61508.
Development environment/Tools
SCADE Suite
Expedites analysis, design, implementation, and verification of criti- ›cal embedded systemsShortens time-to-certification with automatic code generation, ›documentation generation, qualification kitsSCADE Unified Modeling Style – data flows and state machine ›behavior defined at any level in the design hierarchy; the support of array operators optimizes the design and code generation for complex data processing of control law componentsSCADE models modularity/ensures safe and manageable partition- ›ing between several designers or teams
FEATURES
