Automatic generation and targeting of application-specific operating systems and embedded systems software
Software (SW) parts become crucial in embedded systems. Operating systems (OSs) are often used to handle SW concurrency and communication. We propose a method of automatic generation of application-specific OSs and automatic targeting of application SW. OS generation starts from a very small, but ye...
Gespeichert in:
| Veröffentlicht in: | IEEE transactions on computer-aided design of integrated circuits and systems 2001-11, Vol.20 (11), p.1293-1301 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 1301 |
|---|---|
| container_issue | 11 |
| container_start_page | 1293 |
| container_title | IEEE transactions on computer-aided design of integrated circuits and systems |
| container_volume | 20 |
| creator | Gauthier, L. Sungjoo Yoo Jerraya, A.A. |
| description | Software (SW) parts become crucial in embedded systems. Operating systems (OSs) are often used to handle SW concurrency and communication. We propose a method of automatic generation of application-specific OSs and automatic targeting of application SW. OS generation starts from a very small, but yet flexible OS kernel. OS services, which are specific to the application and deduced from dependencies created by the system specification, are added to the kernel to construct the whole OS. Communication and synchronization functions in the application code are adapted to the generated OS. As experiments, we applied the proposed method to two system examples: a token-ring system and a very high data-rate digital subscriber line framer. |
| doi_str_mv | 10.1109/43.959858 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_proquest_journals_884712211</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>959858</ieee_id><sourcerecordid>1671261804</sourcerecordid><originalsourceid>FETCH-LOGICAL-c339t-4059cbd8dff1078f908587677f0e0f4abf17280c287013769980d2ed436aea813</originalsourceid><addsrcrecordid>eNp90T1PwzAQBmALgUQpDKxMEQOCIeUucWJ7rCq-pEosMEducq5SJXGwU6H-e9wGdWBg8sn3vCedjrFrhBkiqEeezlSmZCZP2ARVKmKOGZ6yCSRCxgACztmF9xsA5FmiJmwz3w621UNdRmvqyIXKdpHuqmjQbk1D3a0jayLd901dHpqx76msTQjY_uCD8Ds_UOsPOWpXVFVUHT-9NcO3dnTJzoxuPF39vlP2-fz0sXiNl-8vb4v5Mi7TVA0xh0yVq0pWxiAIaRSEbUQuhAECw_XKoEgklIkUgKnIlZJQJVTxNNekJaZTdjfO7Z392pIfirb2JTWN7shufRGCqIDv4f2_EHOBSY4SeKC3f-jGbl0X1iik5IEluJ_3MKLSWe8dmaJ3davdrkAo9tcpeFqM1wn2ZrQ1ER3db_MH6ySKaA</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>884712211</pqid></control><display><type>article</type><title>Automatic generation and targeting of application-specific operating systems and embedded systems software</title><source>IEEE Electronic Library (IEL)</source><creator>Gauthier, L. ; Sungjoo Yoo ; Jerraya, A.A.</creator><creatorcontrib>Gauthier, L. ; Sungjoo Yoo ; Jerraya, A.A.</creatorcontrib><description>Software (SW) parts become crucial in embedded systems. Operating systems (OSs) are often used to handle SW concurrency and communication. We propose a method of automatic generation of application-specific OSs and automatic targeting of application SW. OS generation starts from a very small, but yet flexible OS kernel. OS services, which are specific to the application and deduced from dependencies created by the system specification, are added to the kernel to construct the whole OS. Communication and synchronization functions in the application code are adapted to the generated OS. As experiments, we applied the proposed method to two system examples: a token-ring system and a very high data-rate digital subscriber line framer.</description><identifier>ISSN: 0278-0070</identifier><identifier>EISSN: 1937-4151</identifier><identifier>DOI: 10.1109/43.959858</identifier><identifier>CODEN: ITCSDI</identifier><language>eng</language><publisher>New York: IEEE</publisher><subject>Associate members ; Communication systems ; Computer architecture ; Computer programs ; Concurrent computing ; Embedded software ; Embedded system ; Kernel ; Kernels ; Mathematical analysis ; Mathematical models ; Memory architecture ; Operating systems ; Processor scheduling ; Software ; Software systems ; Synchronism</subject><ispartof>IEEE transactions on computer-aided design of integrated circuits and systems, 2001-11, Vol.20 (11), p.1293-1301</ispartof><rights>Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2001</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c339t-4059cbd8dff1078f908587677f0e0f4abf17280c287013769980d2ed436aea813</citedby><cites>FETCH-LOGICAL-c339t-4059cbd8dff1078f908587677f0e0f4abf17280c287013769980d2ed436aea813</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/959858$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,776,780,792,27901,27902,54733</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/959858$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Gauthier, L.</creatorcontrib><creatorcontrib>Sungjoo Yoo</creatorcontrib><creatorcontrib>Jerraya, A.A.</creatorcontrib><title>Automatic generation and targeting of application-specific operating systems and embedded systems software</title><title>IEEE transactions on computer-aided design of integrated circuits and systems</title><addtitle>TCAD</addtitle><description>Software (SW) parts become crucial in embedded systems. Operating systems (OSs) are often used to handle SW concurrency and communication. We propose a method of automatic generation of application-specific OSs and automatic targeting of application SW. OS generation starts from a very small, but yet flexible OS kernel. OS services, which are specific to the application and deduced from dependencies created by the system specification, are added to the kernel to construct the whole OS. Communication and synchronization functions in the application code are adapted to the generated OS. As experiments, we applied the proposed method to two system examples: a token-ring system and a very high data-rate digital subscriber line framer.</description><subject>Associate members</subject><subject>Communication systems</subject><subject>Computer architecture</subject><subject>Computer programs</subject><subject>Concurrent computing</subject><subject>Embedded software</subject><subject>Embedded system</subject><subject>Kernel</subject><subject>Kernels</subject><subject>Mathematical analysis</subject><subject>Mathematical models</subject><subject>Memory architecture</subject><subject>Operating systems</subject><subject>Processor scheduling</subject><subject>Software</subject><subject>Software systems</subject><subject>Synchronism</subject><issn>0278-0070</issn><issn>1937-4151</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2001</creationdate><recordtype>article</recordtype><sourceid>RIE</sourceid><recordid>eNp90T1PwzAQBmALgUQpDKxMEQOCIeUucWJ7rCq-pEosMEducq5SJXGwU6H-e9wGdWBg8sn3vCedjrFrhBkiqEeezlSmZCZP2ARVKmKOGZ6yCSRCxgACztmF9xsA5FmiJmwz3w621UNdRmvqyIXKdpHuqmjQbk1D3a0jayLd901dHpqx76msTQjY_uCD8Ds_UOsPOWpXVFVUHT-9NcO3dnTJzoxuPF39vlP2-fz0sXiNl-8vb4v5Mi7TVA0xh0yVq0pWxiAIaRSEbUQuhAECw_XKoEgklIkUgKnIlZJQJVTxNNekJaZTdjfO7Z392pIfirb2JTWN7shufRGCqIDv4f2_EHOBSY4SeKC3f-jGbl0X1iik5IEluJ_3MKLSWe8dmaJ3davdrkAo9tcpeFqM1wn2ZrQ1ER3db_MH6ySKaA</recordid><startdate>20011101</startdate><enddate>20011101</enddate><creator>Gauthier, L.</creator><creator>Sungjoo Yoo</creator><creator>Jerraya, A.A.</creator><general>IEEE</general><general>The Institute of Electrical and Electronics Engineers, Inc. (IEEE)</general><scope>RIA</scope><scope>RIE</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>7SP</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>F28</scope><scope>FR3</scope><scope>7TB</scope></search><sort><creationdate>20011101</creationdate><title>Automatic generation and targeting of application-specific operating systems and embedded systems software</title><author>Gauthier, L. ; Sungjoo Yoo ; Jerraya, A.A.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c339t-4059cbd8dff1078f908587677f0e0f4abf17280c287013769980d2ed436aea813</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2001</creationdate><topic>Associate members</topic><topic>Communication systems</topic><topic>Computer architecture</topic><topic>Computer programs</topic><topic>Concurrent computing</topic><topic>Embedded software</topic><topic>Embedded system</topic><topic>Kernel</topic><topic>Kernels</topic><topic>Mathematical analysis</topic><topic>Mathematical models</topic><topic>Memory architecture</topic><topic>Operating systems</topic><topic>Processor scheduling</topic><topic>Software</topic><topic>Software systems</topic><topic>Synchronism</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Gauthier, L.</creatorcontrib><creatorcontrib>Sungjoo Yoo</creatorcontrib><creatorcontrib>Jerraya, A.A.</creatorcontrib><collection>IEEE All-Society Periodicals Package (ASPP) 1998-Present</collection><collection>IEEE Electronic Library (IEL)</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Electronics & Communications Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>ANTE: Abstracts in New Technology & Engineering</collection><collection>Engineering Research Database</collection><collection>Mechanical & Transportation Engineering Abstracts</collection><jtitle>IEEE transactions on computer-aided design of integrated circuits and systems</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Gauthier, L.</au><au>Sungjoo Yoo</au><au>Jerraya, A.A.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Automatic generation and targeting of application-specific operating systems and embedded systems software</atitle><jtitle>IEEE transactions on computer-aided design of integrated circuits and systems</jtitle><stitle>TCAD</stitle><date>2001-11-01</date><risdate>2001</risdate><volume>20</volume><issue>11</issue><spage>1293</spage><epage>1301</epage><pages>1293-1301</pages><issn>0278-0070</issn><eissn>1937-4151</eissn><coden>ITCSDI</coden><abstract>Software (SW) parts become crucial in embedded systems. Operating systems (OSs) are often used to handle SW concurrency and communication. We propose a method of automatic generation of application-specific OSs and automatic targeting of application SW. OS generation starts from a very small, but yet flexible OS kernel. OS services, which are specific to the application and deduced from dependencies created by the system specification, are added to the kernel to construct the whole OS. Communication and synchronization functions in the application code are adapted to the generated OS. As experiments, we applied the proposed method to two system examples: a token-ring system and a very high data-rate digital subscriber line framer.</abstract><cop>New York</cop><pub>IEEE</pub><doi>10.1109/43.959858</doi><tpages>9</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 0278-0070 |
| ispartof | IEEE transactions on computer-aided design of integrated circuits and systems, 2001-11, Vol.20 (11), p.1293-1301 |
| issn | 0278-0070 1937-4151 |
| language | eng |
| recordid | cdi_proquest_journals_884712211 |
| source | IEEE Electronic Library (IEL) |
| subjects | Associate members Communication systems Computer architecture Computer programs Concurrent computing Embedded software Embedded system Kernel Kernels Mathematical analysis Mathematical models Memory architecture Operating systems Processor scheduling Software Software systems Synchronism |
| title | Automatic generation and targeting of application-specific operating systems and embedded systems software |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-13T10%3A26%3A00IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_RIE&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Automatic%20generation%20and%20targeting%20of%20application-specific%20operating%20systems%20and%20embedded%20systems%20software&rft.jtitle=IEEE%20transactions%20on%20computer-aided%20design%20of%20integrated%20circuits%20and%20systems&rft.au=Gauthier,%20L.&rft.date=2001-11-01&rft.volume=20&rft.issue=11&rft.spage=1293&rft.epage=1301&rft.pages=1293-1301&rft.issn=0278-0070&rft.eissn=1937-4151&rft.coden=ITCSDI&rft_id=info:doi/10.1109/43.959858&rft_dat=%3Cproquest_RIE%3E1671261804%3C/proquest_RIE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=884712211&rft_id=info:pmid/&rft_ieee_id=959858&rfr_iscdi=true |