Digitally Evolving Models for Dynamically Adaptive Systems
Developing a Dynamically Adaptive System (DAS) requires a developer to identify viable target systems that can be adopted by the DAS at runtime in response to specific environmental conditions, while satisfying critical properties. This paper describes a preliminary investigation into using digital...
Uloženo v:
| Vydáno v: | International Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS '07) s. 13 |
|---|---|
| Hlavní autoři: | , , , , |
| Médium: | Konferenční příspěvek |
| Jazyk: | angličtina |
| Vydáno: |
Washington, DC, USA
IEEE Computer Society
20.05.2007
IEEE |
| Edice: | ACM Conferences |
| Témata: | |
| ISBN: | 0769529739, 9780769529738 |
| ISSN: | 2157-2305 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | Developing a Dynamically Adaptive System (DAS) requires a developer to identify viable target systems that can be adopted by the DAS at runtime in response to specific environmental conditions, while satisfying critical properties. This paper describes a preliminary investigation into using digital evolution to automatically generate models of viable target systems. In digital evolution, a population of selfreplicating computer programs exists in a user-defined computational environment and is subject to instruction-level mutations and natural selection. These "digital organisms" have no built-in ability to generate a model - each population begins with a single organism that only has the ability to self-replicate. In a case study, we demonstrate that digital evolution can be used to evolve known state diagrams and to further evolve these diagrams to satisfy system critical properties. This result shows that digital evolution can be used to aid in the discovery of the viable target systems of a DAS. |
|---|---|
| AbstractList | Developing a Dynamically Adaptive System (DAS) requires a developer to identify viable target systems that can be adopted by the DAS at runtime in response to specific environmental conditions, while satisfying critical properties. This paper describes a preliminary investigation into using digital evolution to automatically generate models of viable target systems. In digital evolution, a population of selfreplicating computer programs exists in a user-defined computational environment and is subject to instruction-level mutations and natural selection. These "digital organisms" have no built-in ability to generate a model - each population begins with a single organism that only has the ability to self-replicate. In a case study, we demonstrate that digital evolution can be used to evolve known state diagrams and to further evolve these diagrams to satisfy system critical properties. This result shows that digital evolution can be used to aid in the discovery of the viable target systems of a DAS. Developing a Dynamically Adaptive System (DAS) requires a developer to identify viable target systems that can be adopted by the DAS at runtime in response to specific environmental conditions, while satisfying critical properties. This paper describes a preliminary investigation into using digital evolution to automatically generate models of viable target systems. In digital evolution, a population of self-replicating computer programs exists in a user-defined computational environment and is subject to instruction-level mutations and natural selection. These "digital organisms" have no built-in ability to generate a model - each population begins with a single organism that only has the ability to self-replicate. In a case study, we demonstrate that digital evolution can be used to evolve known state diagrams and to further evolve these diagrams to satisfy system critical properties. This result shows that digital evolution can be used to aid in the discovery of the viable target systems of a DAS. |
| Author | Ofria, Charles A. Cheng, Betty H. C. McKinley, Philip K. Goldsby, Heather J. Knoester, David B. |
| Author_xml | – sequence: 1 givenname: Heather J. surname: Goldsby fullname: Goldsby, Heather J. organization: Michigan State University – sequence: 2 givenname: David B. surname: Knoester fullname: Knoester, David B. organization: Michigan State University – sequence: 3 givenname: Betty H. C. surname: Cheng fullname: Cheng, Betty H. C. organization: Michigan State University – sequence: 4 givenname: Philip K. surname: McKinley fullname: McKinley, Philip K. organization: Michigan State University – sequence: 5 givenname: Charles A. surname: Ofria fullname: Ofria, Charles A. organization: Michigan State University |
| BookMark | eNqNkL1OwzAURi1RJNrSjY0lCywo5dqu44StasuP1IqhMFt2clMZkrjEaaS8PWnLAzDd4Rx90j0jMqhchYTcUJhSCsnjdjXfbKcMQE6jCzICGSWCJZInAzJkVMiQcRBXZOL9FwBQymAm-JA8Le3ONrooumDVuqK11S7YuAwLH-SuDpZdpUubnvg80_vGthhsO99g6a_JZa4Lj5O_Oyafz6uPxWu4fn95W8zXoaaxbEKqIeUCeRZzDcZkkYggzSU3KDUmcaZ5nqRxLg3jiCxKOUUtjIBcCDTaSD4m9-fdfe1-DugbVVqfYlHoCt3BK94_E_ejvXh7Fi0iqn1tS113asZYHFHe07sz1WmpjHPfXlFQx3bq1E4d26mo9x7-4ylTW8z5LzMWb2Q |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IL CBEJK RIE RIL 7SC 8FD JQ2 L7M L~C L~D |
| DOI | 10.1109/SEAMS.2007.6 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP All) 1998-Present Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Computer and Information Systems Abstracts |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EndPage | 13 |
| ExternalDocumentID | 4228613 |
| Genre | orig-research Conference Paper |
| GroupedDBID | 6IE 6IF 6IK 6IL 6IN AAJGR AAKMM AARBI ACM ADPZR ALMA_UNASSIGNED_HOLDINGS APO BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK GUFHI OCL RIE RIL AAWTH ABLEC ADZIZ CHZPO IEGSK 7SC 8FD JQ2 L7M LHSKQ L~C L~D |
| ID | FETCH-LOGICAL-a187t-1a0c35e3d83a0bbd6560cf73be7ae98da3f9c8f7b23ee26c31ea5b50f55ebab73 |
| IEDL.DBID | RIE |
| ISBN | 0769529739 9780769529738 |
| ISSN | 2157-2305 |
| IngestDate | Fri Jul 11 08:55:02 EDT 2025 Wed Aug 27 01:51:59 EDT 2025 Wed Jan 31 06:45:53 EST 2024 Mon Feb 05 09:27:04 EST 2024 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a187t-1a0c35e3d83a0bbd6560cf73be7ae98da3f9c8f7b23ee26c31ea5b50f55ebab73 |
| Notes | SourceType-Conference Papers & Proceedings-1 ObjectType-Conference Paper-1 content type line 25 |
| PQID | 31128560 |
| PQPubID | 23500 |
| PageCount | 1 |
| ParticipantIDs | ieee_primary_4228613 acm_books_10_1109_SEAMS_2007_6 proquest_miscellaneous_31128560 acm_books_10_1109_SEAMS_2007_6_brief |
| PublicationCentury | 2000 |
| PublicationDate | 20070520 2007-May |
| PublicationDateYYYYMMDD | 2007-05-20 2007-05-01 |
| PublicationDate_xml | – month: 05 year: 2007 text: 20070520 day: 20 |
| PublicationDecade | 2000 |
| PublicationPlace | Washington, DC, USA |
| PublicationPlace_xml | – name: Washington, DC, USA |
| PublicationSeriesTitle | ACM Conferences |
| PublicationTitle | International Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS '07) |
| PublicationTitleAbbrev | SEAMS |
| PublicationYear | 2007 |
| Publisher | IEEE Computer Society IEEE |
| Publisher_xml | – name: IEEE Computer Society – name: IEEE |
| SSID | ssj0001120453 ssj0003211717 |
| Score | 1.4381845 |
| Snippet | Developing a Dynamically Adaptive System (DAS) requires a developer to identify viable target systems that can be adopted by the DAS at runtime in response to... |
| SourceID | proquest ieee acm |
| SourceType | Aggregation Database Publisher |
| StartPage | 13 |
| SubjectTerms | Adaptive systems Computer aided instruction Computer science Computing methodologies -- Machine learning -- Machine learning approaches -- Neural networks Condition monitoring Evolution (biology) Genetic mutations Hardware -- Emerging technologies -- Circuit substrates -- Cellular neural networks Organisms Runtime environment Software and its engineering -- Software creation and management -- Software post-development issues -- Software reverse engineering Software and its engineering -- Software organization and properties -- Software system structures -- Software architectures Space exploration Theory of computation -- Theory and algorithms for application domains -- Machine learning theory Unified modeling language |
| Title | Digitally Evolving Models for Dynamically Adaptive Systems |
| URI | https://ieeexplore.ieee.org/document/4228613 https://www.proquest.com/docview/31128560 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LS8QwEB5W8eDJN66PtQePVtvGNIk30RUPsggq7C3kMZUF3V32IfjvzaTd9aAI3hraQphkZjKTme8DOJW-kKXyPpzceEkUZkWqqJOrDK6yUCXPvYk4sw-i15P9vnpswdmyFwYRY_EZntNjvMv3IzenVNkFwVWVRFG7IoSoe7W-8yk5Aauz5ZiFyEZEwt3g1EQaTtq8jtoVJ7om1YDvLMZyWRSvLp66IYiu0Q0JicS494Z65Ye9jk7obuN_09-E3e9uvuRx6ae2oIXDbdhY0DkkjXbvwNXt4JUoRN4-k24wWpRpSIgq7W2ahJNtcltz18f3196MyU4mDeD5LrzcdZ9v7tOGWiE1uRSzNDeZYxyZl8xk1nqC4HGVYBaFQSW9YZVyshK2YIhF6ViOhlueVZyjNVawPVgdjoa4D4k39hKtU9axEMswboJSS156Luwl80y2oRMkqClmmOoYcmRKRxETBabQZRtO__5A28kAqzbskEj1uEbh0I0023CyWBMdNIOuO8wQR_OpZmFLhIlkB7__eAjrdZ6WihePYHU2meMxrLmP2WA66cTN9QUbQcT6 |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LT-MwEB5VsNJyAhZWFFjIocfNksR1bHNDUFREt6q0rMTN8mOyqgQt6gOJf4_HScthERK3WEmkZOyZ8Yxnvg-gI30hS-V92LnxkijMilRRJ1cZXGWhSp57E3FmB2I4lPf3atSCn-teGESMxWf4iy7jWb6fuiWlys4IrqokitpN3u0Wed2t9ZZRyQlana3HLMQ2IlLuBrcm0rDX5nXcrjgRNqkGfmc1luuyeHX2pxfC6BrfkLBIjHtsyFf-s9jRDV1vf-4HdmD_rZ8vGa091S60cPINtleEDkmj33twfjX-RyQiDy9JL5gtyjUkRJb2ME_C3ja5qtnr4_0Lb57IUiYN5Pk-_L3u3V3204ZcITW5FIs0N5ljHJmXzGTWegLhcZVgFoVBJb1hlXKyErZgiEXpWI6GW55VnKM1VrDvsDGZTvAAEm9sF61T1rEQzTBuglpLXnoubJd5JttwEiSoKWqY6xh0ZEpHERMJptBlGzofP6DtbIxVG_ZIpPqpxuHQjTTbcLqaEx10gw48zASny7lmYUmED8kO33_xFL72734P9OBmeHsEW3XWlkoZj2FjMVviD_jinhfj-ewkLrRXizrIQQ |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=International+Workshop+on+Software+Engineering+for+Adaptive+and+Self-Managing+Systems+%28SEAMS+%2707%29&rft.atitle=Digitally+Evolving+Models+for+Dynamically+Adaptive+Systems&rft.au=Goldsby%2C+H.J.&rft.au=Knoester%2C+D.B.&rft.au=Cheng%2C+B.H.C.&rft.au=McKinley%2C+P.K.&rft.date=2007-05-01&rft.pub=IEEE&rft.isbn=9780769529738&rft.issn=2157-2305&rft.spage=13&rft.epage=13&rft_id=info:doi/10.1109%2FSEAMS.2007.6&rft.externalDocID=4228613 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2157-2305&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2157-2305&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2157-2305&client=summon |