@inProceedings{
 id = {e57db029-bf5c-3a02-b657-5b899a350774},
 title = {Model-based embedded software development flow},
 type = {inProceedings},
 year = {2009},
 identifiers = {[object Object]},
 keywords = {Application software,Automatic testing,Code generation,Context modeling,Design methodology,Embedded development,Embedded software,Embedded system,Programming,Software testing,System testing,Unified Modeling Language,Unified modeling language,automatic test generation,automatic test pattern generation,embedded systems,formal specification,formal verification,model based testing,model-based embedded software development flow,program compilers,program testing,software design,software modeling,software module code generation,software verification,specification errors,xtUML},
 created = {2014-11-04T17:14:10.000Z},
 pages = {1-4},
 websites = {http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=5404096},
 month = {11},
 publisher = {IEEE},
 accessed = {2014-10-29},
 file_attached = {false},
 profile_id = {6b46cd49-f8a1-3799-91ac-6861cf9a050e},
 group_id = {f76fdab6-f3b3-324f-8ded-1f7ff6220077},
 last_modified = {2014-11-15T04:19:25.000Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 short_title = {Design and Test Workshop (IDT), 2009 4th Internati},
 abstract = {The need for new embedded software development design methodologies arises from the increasing complexity and sophistication of embedded systems. The paper proposes a novel approach for model-driven development and verification of embedded software. This approach mainly depends on the separation of design and implementation phases of the development process. The proposed design comprises two main phases for development: modeling the software using xtUML and fully verifying the model to match specification, then the generation of the embedded software code from the created model. Following this approach allows helps to discover specification errors early in the development process, and facilitates the reuse of various parts of the model. The proposed flow also introduces the possibility of using model based testing (MBT) tools for automatic test generation. Using, this complete flow, only the effort of creating two models (one for software module code generation and one for test generation) will be required replacing the traditional complete design, implementation, test design, test implementation and test execution flow.},
 bibtype = {inProceedings},
 author = {Kashif, H. and Mostafa, M. and Shokry, H. and Hammad, S.},
 booktitle = {2009 4th International Design and Test Workshop (IDT)}
}

{"_id":"iCDc76vffWTPYGY3h","bibbaseid":"kashif-mostafa-shokry-hammad-modelbasedembeddedsoftwaredevelopmentflow-2009","downloads":0,"creationDate":"2015-03-19T12:05:44.942Z","title":"Model-based embedded software development flow","author_short":["Kashif, H.","Mostafa, M.","Shokry, H.","Hammad, S."],"year":2009,"bibtype":"inProceedings","biburl":null,"bibdata":{"id":"e57db029-bf5c-3a02-b657-5b899a350774","title":"Model-based embedded software development flow","type":"inProceedings","year":"2009","identifiers":"[object Object]","keywords":"Application software,Automatic testing,Code generation,Context modeling,Design methodology,Embedded development,Embedded software,Embedded system,Programming,Software testing,System testing,Unified Modeling Language,Unified modeling language,automatic test generation,automatic test pattern generation,embedded systems,formal specification,formal verification,model based testing,model-based embedded software development flow,program compilers,program testing,software design,software modeling,software module code generation,software verification,specification errors,xtUML","created":"2014-11-04T17:14:10.000Z","pages":"1-4","websites":"http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=5404096","month":"11","publisher":"IEEE","accessed":"2014-10-29","file_attached":false,"profile_id":"6b46cd49-f8a1-3799-91ac-6861cf9a050e","group_id":"f76fdab6-f3b3-324f-8ded-1f7ff6220077","last_modified":"2014-11-15T04:19:25.000Z","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"short_title":"Design and Test Workshop (IDT), 2009 4th Internati","abstract":"The need for new embedded software development design methodologies arises from the increasing complexity and sophistication of embedded systems. The paper proposes a novel approach for model-driven development and verification of embedded software. This approach mainly depends on the separation of design and implementation phases of the development process. The proposed design comprises two main phases for development: modeling the software using xtUML and fully verifying the model to match specification, then the generation of the embedded software code from the created model. Following this approach allows helps to discover specification errors early in the development process, and facilitates the reuse of various parts of the model. The proposed flow also introduces the possibility of using model based testing (MBT) tools for automatic test generation. Using, this complete flow, only the effort of creating two models (one for software module code generation and one for test generation) will be required replacing the traditional complete design, implementation, test design, test implementation and test execution flow.","bibtype":"inProceedings","author":"Kashif, H. and Mostafa, M. and Shokry, H. and Hammad, S.","booktitle":"2009 4th International Design and Test Workshop (IDT)","bibtex":"@inProceedings{\n id = {e57db029-bf5c-3a02-b657-5b899a350774},\n title = {Model-based embedded software development flow},\n type = {inProceedings},\n year = {2009},\n identifiers = {[object Object]},\n keywords = {Application software,Automatic testing,Code generation,Context modeling,Design methodology,Embedded development,Embedded software,Embedded system,Programming,Software testing,System testing,Unified Modeling Language,Unified modeling language,automatic test generation,automatic test pattern generation,embedded systems,formal specification,formal verification,model based testing,model-based embedded software development flow,program compilers,program testing,software design,software modeling,software module code generation,software verification,specification errors,xtUML},\n created = {2014-11-04T17:14:10.000Z},\n pages = {1-4},\n websites = {http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=5404096},\n month = {11},\n publisher = {IEEE},\n accessed = {2014-10-29},\n file_attached = {false},\n profile_id = {6b46cd49-f8a1-3799-91ac-6861cf9a050e},\n group_id = {f76fdab6-f3b3-324f-8ded-1f7ff6220077},\n last_modified = {2014-11-15T04:19:25.000Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n short_title = {Design and Test Workshop (IDT), 2009 4th Internati},\n abstract = {The need for new embedded software development design methodologies arises from the increasing complexity and sophistication of embedded systems. The paper proposes a novel approach for model-driven development and verification of embedded software. This approach mainly depends on the separation of design and implementation phases of the development process. The proposed design comprises two main phases for development: modeling the software using xtUML and fully verifying the model to match specification, then the generation of the embedded software code from the created model. Following this approach allows helps to discover specification errors early in the development process, and facilitates the reuse of various parts of the model. The proposed flow also introduces the possibility of using model based testing (MBT) tools for automatic test generation. Using, this complete flow, only the effort of creating two models (one for software module code generation and one for test generation) will be required replacing the traditional complete design, implementation, test design, test implementation and test execution flow.},\n bibtype = {inProceedings},\n author = {Kashif, H. and Mostafa, M. and Shokry, H. and Hammad, S.},\n booktitle = {2009 4th International Design and Test Workshop (IDT)}\n}","author_short":["Kashif, H.","Mostafa, M.","Shokry, H.","Hammad, S."],"bibbaseid":"kashif-mostafa-shokry-hammad-modelbasedembeddedsoftwaredevelopmentflow-2009","role":"author","urls":{},"keyword":["Application software","Automatic testing","Code generation","Context modeling","Design methodology","Embedded development","Embedded software","Embedded system","Programming","Software testing","System testing","Unified Modeling Language","Unified modeling language","automatic test generation","automatic test pattern generation","embedded systems","formal specification","formal verification","model based testing","model-based embedded software development flow","program compilers","program testing","software design","software modeling","software module code generation","software verification","specification errors","xtUML"],"downloads":0},"search_terms":["model","based","embedded","software","development","flow","kashif","mostafa","shokry","hammad"],"keywords":["application software","automatic testing","code generation","context modeling","design methodology","embedded development","embedded software","embedded system","programming","software testing","system testing","unified modeling language","unified modeling language","automatic test generation","automatic test pattern generation","embedded systems","formal specification","formal verification","model based testing","model-based embedded software development flow","program compilers","program testing","software design","software modeling","software module code generation","software verification","specification errors","xtuml"],"authorIDs":[]}