High Confidence Powertrain Control Software Development Hakan Yazarel, Tomoyuki Kaga, Ken Butts
Prius software error
•
NEW YORK (CNN/Money) - A software problem is causing some Toyota Prius gaselectric hybrid cars to stall or shut down while driving at highway speeds, according to a published report.
•
Toyota spokesman Sam Butto told the newspaper the auto manufacturer identified a "programming error" in the computer systems of 23,900 Prius cars last year and sent owners a service notice advising them to bring the cars into dealers for an hour-long software upgrade.
Large scale control system •Automotive •Automotivecontrol controlsystem systembecame becameaaLarge LargeScale ScaleControl ControlSystem System • •Engine control Engine control • •Traction Tractioncontrol control • •Auto-cruise Auto-cruisecontrol control
Designed by individuals
•Modules •Modulesdesigned designedand andtuned tunedby byindividual individualengineers engineers over the years and integrated to legacy structure over the years and integrated to legacy structure •Lack •Lackofofunderstanding understandingofofwhole wholestructure structure •Lack of predicting the effect of modification •Lack of predicting the effect of modification •Complex •Complexsoftware softwarestructure structure •Hundreds of modules •Hundreds of modulesinteract interactwith witheach eachother other •Many modes of operations e.g. if-else, switch-case •Many modes of operations e.g. if-else, switch-case •Many •Manylookup lookuptables tables •Hybrid nature of •Hybrid nature ofsystem system
Sensors
Implicit interaction Explicit interaction
func(){
Actuators
} }
Modes
•Number •Numberofoftests testsgrow growexponentially exponentiallyas asnew new functionalities are added functionalities are added Currently •Identifying •Identifyingthe theroot-cause root-causeofofeven evenaaknown knownproblem problem manageable isisvery verytime timeconsuming consuming •Becomes •Becomeschicken-egg chicken-eggproblem problemininclosed-loop closed-loopfeedback feedbackcontrol control
Exponential growth
Limit of heuristic & human intensive countermeasures
N # of logical branches
Summary: Advanced Design and V&V processes should be incorporated 3
Needs for Model Based Development •Currently Simulink/Stateflow •Formally defining multiple layers of abstractions for a control system software that captures component interactions, data-access rules, explicit/implicit dependency structures etc., e.g. AADL •Formally specifying control system properties (designer’s intended behaviour) to help V&V
•Currently, not clear definitions of feature and module •Feature-level (high level components) ¾ Interactions between modules ¾ Time/Event triggered subsystems ¾ Enabled subsystems ¾ If-then-else branches
•V&V tool sets for design steps •Hierarchical verification • Module, feature, system levels •Test generation for closed-loop feedback control system •Assertion based verification •Components of an assertion for a control software •Evaluating compatibility of a modified/new module within the structure
Conclusion The main obstacles to high confidence control system •Lacking a formal hierarchical structure •To build large scale control systems •Easy verification and validation •Incrementally developed legacy structure •Complexity: Mainly due to number of logical decision branches
NEW YORK (CNN/Money) - A software problem is causing some Toyota Prius gas- electric hybrid cars to stall or shut down while driving at highway speeds, ...
Sep 20, 1978 - 10 (A-I) is a diagram for explaining the opera tion of the circuit .... temperature of the exhaust gas in the converter 82 and the output TB of the ...
Apr 13, 2004 - Name project or who will become involved during the lifecycle. Trademarks ... 6. 1.7 Key Stakeholders. 6. 1.8 References. 6. 1.9 Policies, Directives and Procedures. 6. 2. Lifecycle Verification and Validation. 7. 2.1 Management. 7 ...
forming the products of a software product line (SPL) in a hierarchical fash- ... a software product line, we propose a hierarchical variability model, or HVM. Such ...... HATS project [37]. A cash desk processes purchases by retrieving the prices fo
Download. Connect more apps... Try one of the apps below to open or edit this item. Aircraft Engine control system.pdf. Aircraft Engine control system.pdf. Open.
Asked before SOTU address. Favor Oppose. Immigration 61% 39%. Jobs and the. economy 77% 23%. Handling North. Korea 61% 39%. Infrastructure, roads,. and bridges 80% 20%. 3. Whoops! There was a problem loading this page. Retrying... Main menu. Displayi
Vm. ( Ëmai â Ëmao) where, R is the gas constant, Vm the manifold volume and Tm .... sliding surface, s = x1 â x1d, i.e. the speed error, satisfies a second order ...
SECOND ORDER SLIDING MODE CONTROL OF A DIESEL ENGINE. M. Khalid Khan, Keng Boon Goh, and Sarah K. Spurgeon. ABSTRACT. A 2nd order sliding mode algorithm is applied to control the speed of a diesel power generator set. Tuning guidelines are given. The
Importance of the software testing is increasing as a result of the extension .... with previously defined criteria and using a definition from [22] as a base:.
... more apps... Try one of the apps below to open or edit this item. pdf-1869\software-verification-and-validation-an-engineering-and-scientific-approach.pdf.
Book Synopsis. Here s the first book written specifically to help medical device and software engineers, QA and compliance professionals, and corporate ...
... for Anyplace Control - Corporate then you really discovered the best website to accomplish ... Remote Monitoring and Control Software ... FLIR provides free software called IR ... Download Anyplace Control, Free PC remote control software!
TO WHOM IT MAY CONCERN: The applicant/participant is applying for housing assistance subsidized through the Department of. Housing and Urban Development. Federal regulations require that all income, expenses,. preferences and other information relate
There was a problem previewing this document. Retrying... Download. Connect more apps... Try one of the apps below to open or edit this item. Verification of ...Missing:
to achieve this objective with a typical laptop computer elimi- nates the cost .... frequency of 10 Hz, even though they are calculated at a much higher rate in the ...
1940 Ralston Avenue (corner of Villa & Ralston). Direct (650) 590-4525 (650) 592-7111. San Mateo. Agency Insurance. 25 W. 25th Ave. Patio #8. 572-8944. Page 2 of 2. Verification of Residence.pdf. Verification of Residence.pdf. Open. Extract. Open wit
Conference on Computer Aided Control Systems Design ..... solution of (4) in a numerical reliable way. .... remark that the function call P=Polytope(V) includes.
quality control steps software development.pdf. quality control steps software development.pdf. Open. Extract. Open with. Sign In. Main menu. Displaying quality ...
There was a problem previewing this document. Retrying... Download. Connect more apps... Try one of the apps below to open or edit this item. free download ...
developing a feedback control system for use in production engine. ...... local environment in each cylinder differs significantly (depending on ...... Note that the script used to load the different files is very specific for the file system and is
Apr 24, 2017 - Page 1 of 2. Verification of Parent(s)' 2015 IRS Income Tax Information. for the 2017-2018 Academic Year. Your Free Application for Federal Student Aid (FAFSA) was. selected for review in a process called âVerification.â Before. aw