Global Sources
EE Times-Asia
Stay in touch with EE Times Asia
EE Times-Asia > Advanced Search > safety-critical software

safety-critical software Search results

?
?
total search109 articles
2009-03-31 Finding defects in safety-critical code
The methods that safety-critical developers use are undeniably effective at reducing risk, so there are lessons to be learned for developers who do not write safety-critical code. Two techniques stand out as being most responsible: advanced static analysis and rigorous testing
2016-05-05 Basics of software standards compliance (Part 6
In this instalment, we will discuss the use of coverage analysis to assess test completeness against both requirements and code.
2016-04-04 Basics of software standards compliance (Part 5
In this instalment, we will start going beyond the code to look at how to build processes that are also bullet proof.
2016-02-24 Basics of software standards compliance (Part 4
Building quality and security into software is done by adopting an enforceable coding standard. Read on to learn more
2016-01-11 Basics of software standards compliance (Part 3
In this instalment, we discuss several standards whose key concepts hinge on a robust requirements capture process.
2015-08-24 Basics of software standards compliance (Part 2
This instalment focuses on how to determine a target system failure rate and use it to determine the appropriate level of development rigor.
2015-03-04 Basics of software standards compliance
Learn about the approach that IEC 61508 advocates for performing a system safety assessment and how that is then used to determine the target system failure rates.
2010-01-26 Vector, TTTech tie-up for ECU software
Vector and TTTech Automotive have forged a partnership for the development and sales of standard software modules for car electronic control units (ECUs
2013-10-14 Use multi-core with multi-OS software architecture
Here's a look at the architectural choices from the hardware capabilities to the software options, and how to make them efficient
2014-04-02 Toyota miscalculates in safety-critical considerations
Testing safety-critical systems have been overlooked by carmakers and regulators alike, as what software expert Michael Barr pointed out in a court testimony about cars' electronic control systems.
2012-09-21 TI's SafeTI design packages aimed at safety-critical apps
The design packages include 15 new Hercules RM4x ARM Cortex-R4 safety MCUs and complementary TPS65381-Q1 multi-rail power supply.
2007-12-07 Software eases standard compliance for MCU-based appliances
Free software to ensure standards compliance for household appliances that use ST's STM32 flash MCU is now available
2007-10-01 Sensor nets monitor safety-critical structures 24/7
Structural health monitoring a sensor-based preemptive approach that could supplement the current system of visual inspections and follow-on tests of bridges, buildings, aircraft and other safety-critical structures
2009-09-25 Safety-critical RTOS supports Intel Atom
DDC-I has unveiled the DEOS safety-critical RTOS and OpenArbor software development tools that provide architecture support for Intel's Atom embedded processor.
2013-10-10 SafeAdapt to create adaptive vehicle software architecture
Fraunhofer Institute for Embedded Systems has joined with a group of companies to launch the SafeAdapt research project that aims to develop adaptive software architecture for vehicles
2012-04-25 Reducing cost and size: The software angle
A new approach that combines a reliable language with customizable and specialized run-time libraries can trim both cost and footprint size for embedded systems.
2011-08-01 Programming language geared for safety-critical systems
The parallel programming language being developed by SoftCheck and Ada Compilers targets safety-critical systems where C/C++ and parallelizations of C/C++ are notoriously unsafe
2007-09-03 Perform hassle-free test for safety-critical apps
Safety-critical products can now be manufacturing-tested using ICT or MDA with full accuracy at high speed, directly followed by a functional testall of which can be done on one test system
2003-04-10 Metrowerks ships new CodeTEST software tools
Metroweks has announced the release of the CodeTEST Software Analysis Tools v4.0 that are aimed at accelerating the development of embedded systems and increasing the accuracy of system validation and verification
2014-05-23 Hercules MCUs accommodate safety-critical systems
The 32bit dual-core lockstep MCUs from TI use ARM Cortex-R5 with speeds up to 330MHz, offering a 50 per cent increase in computational performance over previous models.
2010-02-15 Esterel, CEA open safety-critical systems lab
Esterel Technologies and the CEA LIST Institute are partnering to develop and bring to market advanced mission and safety-critical systems design technologies
2007-04-05 Embedded visual computing framework targets safety-critical market
Quantum3D and Sysgo jointly developed FidelityVCF, claimed to be the industry's first COTS tightly integrated, advanced realtime embedded visual computing development and deployment software for the safety-critical market.
2013-07-11 Benefits of high assurance software engineering
Here's an introduction to a set of principles of high assurance software engineering for securing embedded systems
2004-07-27 Assemblon verification software provides comprehensive facilities
Assemblon's latest version of its SVS Pro set-up verification software provides comprehensive, easy-to-use facilities
2008-09-04 Tool suite upgrade touts faster fault detection
LDRA, the leading provider of automated software verification, source code analysis, and test tools, has launched the LDRA tool suite v7.7
2008-03-06 Security awareness now critical in embedded apps
The implementation of safety and security features in embedded applications is becoming a key topic as fail-safe and security technologies migrate to applications well away from the traditionally security- and safety-conscious military-aerospace and automotive sectors.
2012-06-29 Employ requirements traceability with model-driven devt
Know the challenges brought about by the use model-driven development with requirements traceability, and how to overcome them.
2013-09-23 Adopting aerospace verification standards (Part 2)
This instalment focuses on source/object code verification.
2011-05-06 Tool offers requirements-to-object-code traceability
LDRA unveils what is touted to be the first requirements-to-objectCcode traceability.
2008-05-01 The MathWorks pitches automated model-checking support
The MathWorks has announced that its Simulink verification and validation software automatically evaluates and verifies system models for compliance with DO-178B and IEC-61508 standards and MAAB modeling guidelines, which have been adopted by international aerospace, automotive and industrial equipment markets
Bloggers Say

Bloggers Say

See what engineers like you are posting on our pages.

?
?
Back to Top