MODEL-BASED VERIFICATION OF EMBEDDED SOFTWARE.
The article discusses the use of models to verify and validate embedded software applications. Topics include software design specification, "in the loop" testing methods including model-in-the-loop, software-in-the-loop, processor-in-the-loop, and hardware-in-the-loop, timing considerations, managi...
| Publicado en: | Computer (00189162) Vol. 42; no. 4; pp. 53 - 60 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
IEEE
Apr2009
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=38033980&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 38033980 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00189162 PUT jtl: Computer (00189162) issn: 00189162 maglogo: N pubinfo: dt: Apr2009 vid: 42 iid: 4 pid: 13605 pub: IEEE artinfo: ui: 38033980 10.1109/MC.2009.125 ppf: 53 ppct: 7 formats: tig: atl: MODEL-BASED VERIFICATION OF EMBEDDED SOFTWARE. aug: au: Shokry, Hesham Hinchey, Mike affil: PhD student, Lero-the Irish Software Engineering Research Centre. Professor of software engineering, University of Limerick, Ireland. su: Software engineering Model-driven software architecture Software validation Embedded computer systems Embedded computer systems -- Programming Computer software development sug: subj: Software engineering Model-driven software architecture Software validation Embedded computer systems Embedded computer systems -- Programming Computer software development ab: The article discusses the use of models to verify and validate embedded software applications. Topics include software design specification, "in the loop" testing methods including model-in-the-loop, software-in-the-loop, processor-in-the-loop, and hardware-in-the-loop, timing considerations, managing complexity, and model-level tool support. The authors acknowledge that their treatment focuses on the application implementation of the electronic-control-unit software. Infrastructure software is at least the equal of application software in terms of complexity, and will require its own modeling regimen. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2009 holdings: @attributes: islocal: N |
|---|