Specification and testing of automotive powertrain control system software using CACSD tools
- 27 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 2, I13/1-I13/9
- https://doi.org/10.1109/dasc.1998.739864
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Computing exact automaton representations for a class of hybrid systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Rapid prototyping of chassis control systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Rapid prototyping for the development of powertrain control systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- "AUTOTOOL", a PC-based object-oriented automotive powertrain simulation toolPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Simulation as a means of achieving “the impossible”: an investigation into the use of simulation in the development of electronic control systems at Jaguar CarsPublished by Institution of Engineering and Technology (IET) ,1998
- Applicability of modified condition/decision coverage to software testingSoftware Engineering Journal, 1994
- A formal evaluation of data flow path selection criteriaIEEE Transactions on Software Engineering, 1989
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Software Testing and VerificationPublished by Elsevier ,1987
- Detection of Data Flow Anomaly Through Program InstrumentationIEEE Transactions on Software Engineering, 1979