https://m2.mtmt.hu/ hun 2026-05-15 07:29 true true 1 1 1 1 100 1 1 DESC publishedYear false ASC firstAuthor true ASC title true JournalArticle 1281044 ADMIN_APPROVED true Megjegyzés-20846404 UR: http://www.scopus.com/inward/record.url?eid=2-s2.0-0242527742&partnerID=40 0 2014-08-14T19:54:09.000+0000 false 1281044 2026-05-13T18:28:12.724+0000 2021-10-22T08:34:18.228+0000 2009-11-21T23:00:00.000+0000 true 10002766 Sztipanovits János /api/author/10002766 Author true 10002766 2021-10-22T07:56:03.942+0000 2021-10-22T07:56:03.942+0000 2021-10-22T08:34:18.236+0000 true 10080084 Balla Enikő /api/admin/10080084 Admin true true false true 24 24 /api/publicationtype/24 PublicationType 1 true 24 JournalArticle true 10000059 Article true 24 24 /api/publicationtype/24 PublicationType 1 true 24 JournalArticle /api/subtype/10000059 Szakcikk SubType 101 true 10000059 true 1 /api/category/1 Category true 1 Karsai, G Model-integrated development of embedded software true true /api/journal/3539 REVIEWED true false 3539 false 3539 true 0018-9219 1558-2256 Journal FOREIGN 91 1 145 164 145 20 2003 The paper describes a model-integrated approach for embedded software development that is based on domain-specific, multiple-view models used in all phases of the development process. Models explicitly represent the embedded software and the environment it operates in, and capture the requirements and the design of the application, simultaneously. Models are descriptive, in the sense that they allow the formal analysis, verification, and validation of the embedded system at design time. Models are also generative, in the sense that they carry enough information for automatically generating embedded systems using the techniques of program generators. Because of the widely varying nature of embedded systems, a single modeling language may not be suitable for all domains; thus, modeling languages are often domain-specific. To decrease the cost of defining and integrating domain-specific modeling languages and corresponding analysis and synthesis tools, the model-integrated approach is applied in a metamodeling architecture, where formal models of domain-specific modeling languages-called metamodels play a key role in customizing and connecting components of tool chains. This paper discusses the principles and techniques of model-integrated embedded software development in detail, as well as the capabilities of the tools supporting the process. Examples in terms of real systems will be given that illustrate how the model-integrated approach addresses the physical nature, the assurance issues, and the dynamic structure of embedded software. 2009 true true true false false NONE 2026-05-13 false 203 0 203 157 4 193 118 175 111 203 203 157 157 157 46 0 203 157 203 157 0 6 6 D1 false 10079925 false false false 2013-05-24T18:18:00.000+0000 2013-02-23T19:18:00.000+0000 2 3 0 4 0 true Language 10002 /api/language/10002 Angol English true 2 true PersonAuthorship 876877 /api/authorship/876877 1 0.25 true false Author 10079925 /api/author/10079925 Karsai Gábor true true Karsai G true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false 10906856 true PersonAuthorship 876878 /api/authorship/876878 2 0.25 false false Author 10002766 /api/author/10002766 Sztipanovits János true 10002766 true Sztipanovits J true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false 10906855 true PersonAuthorship 876879 /api/authorship/876879 3 0.25 false false Ledeczi A true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false 10906854 true PersonAuthorship 876880 /api/authorship/876880 4 0.25 false true Bapty T true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false 10906853 true PublicationIdentifier 247093 /api/publicationidentifier/247093 PlainSource 6 /api/publicationsource/6 PublicationSourceType 10001 /api/publicationsourcetype/10001 true true true DOI DOI https://doi.org/@@@ true true 6 true false IDENTICAL 10.1109/JPROC.2002.805824 https://doi.org/10.1109/JPROC.2002.805824 false 122606 true PublicationIdentifier 247092 /api/publicationidentifier/247092 PlainSource 1 /api/publicationsource/1 PublicationSourceType 10003 /api/publicationsourcetype/10003 false true true WoS WoS https://www.webofscience.com/wos/woscc/full-record/@@@ true true 1 true false IDENTICAL 000180715800010 https://www.webofscience.com/wos/woscc/full-record/000180715800010 false 122607 true PublicationIdentifier 14697204 /api/publicationidentifier/14697204 PlainSource 3 /api/publicationsource/3 PublicationSourceType 10003 /api/publicationsourcetype/10003 false true true Scopus Scopus http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@ true true 3 true NO 0242527742 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-0242527742 false 591920 true PublicationIdentifier 14866492 /api/publicationidentifier/14866492 PlainSource 39 /api/publicationsource/39 PublicationSourceType 10006 /api/publicationsourcetype/10006 true true true Teljes dokumentum Full text @@@ true true 39 true NO http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1173205 http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1173205 false 7085972 true PublicationIdentifier 14866494 /api/publicationidentifier/14866494 PlainSource 12 /api/publicationsource/12 PublicationSourceType 10003 /api/publicationsourcetype/10003 false true true Google scholar http://scholar.Google.com/scholar?hl=en&lr=&cluster=@@@ true true 12 true NO 708376787572782437 http://scholar.Google.com/scholar?hl=en&lr=&cluster=708376787572782437 false 7085971 true Classification 10880 /api/classification/10880 true true SjrRating 6034806 /api/sjrrating/6034806 40 0.1 journal RatingType 10002 /api/ratingtype/10002 sjr true true ClassificationExternal 2208 /api/classificationexternal/2208 true 2208 true D1 DIRECT true 6034806 true /api/publication/1281044 <div class="JournalArticle Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <img title="Idézőközlemény" style="float: left" src="/frontend/resources/grid/publication-citation-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10079925"><a href="/gui2/?type=authors&mode=browse&sel=10079925" target="_blank">Karsai G (<span class="authorship-author-name">Karsai Gábor</span> <span class="authorAux-mtmt"> Műszaki</span>) </a> </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10002766"><a href="/gui2/?type=authors&mode=browse&sel=10002766" target="_blank">Sztipanovits J (<span class="authorship-author-name">Sztipanovits János</span> <span class="authorAux-mtmt"> Szoftver integrált rendszerek</span>) </a> </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" >Ledeczi A </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" >Bapty T </span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;1281044" target="_blank">Model-integrated development of embedded software</a></div> <div> <span class="journal-title">PROCEEDINGS OF THE IEEE</span> <span class="journal-issn">(<a target="_blank" href="https://portal.issn.org/resource/ISSN/0018-9219">0018-9219</a> <a target="_blank" href="https://portal.issn.org/resource/ISSN/1558-2256">1558-2256</a>)</span>: <span class="journal-volume">91</span> <span class="journal-issue">1</span> <span class="page"> pp 145-164 </span> <span class="year">(2003)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="10.1109/JPROC.2002.805824" target="_blank" href="https://doi.org/10.1109/JPROC.2002.805824"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="000180715800010" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/000180715800010"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="0242527742" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-0242527742"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1173205" target="_blank" href="http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1173205"> Teljes dokumentum </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="708376787572782437" target="_blank" href="http://scholar.Google.com/scholar?hl=en&lr=&cluster=708376787572782437"> Google scholar </a> </span> </span> <OnlyViewableByAuthor><div class="ratings"> <div class="journal-subject">Folyóirat szakterülete: Scopus - Electrical and Electronic Engineering&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;D1</div> </div></OnlyViewableByAuthor> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 203</span> | Független: 157 | Függő: 46 | Nem jelölt: 0 | WoS jelölt: 175 | Scopus jelölt:&nbsp;111 | WoS/Scopus jelölt:&nbsp;203 | DOI jelölt:&nbsp;118 </div> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;1281044&sort=publishedYear,desc&sort=title"> Idézett közlemények száma: 6 </a> </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 1281044</span> | <span class="status-data status-ADMIN_APPROVED"> Admin láttamozott </span> <span class="oldId">Régi azonosító: 1281044</span> | Forrás Idéző | <span class="type-subtype">Folyóiratcikk ( Szakcikk ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">WOS</span> </div> <div class="lastModified">Utolsó módosítás: 2021.10.22. 10:34 Balla Enikő (MTMT ellenőrzés admin5) </div> <pre class="comment" style="margin-top: 0; margin-bottom: 0;"><u>Megjegyzés</u>: Megjegyzés-20846404 UR: http://www.scopus.com/inward/record.url?eid=2-s2.0-0242527742&partnerID=40</pre> </div></div>