Aerospace and military systems are becoming increasingly interconnected. In turn, their collective behavior is more difficult to predict. The emergent properties of systems of systems make them powerful, but also more difficult to design, assure proper behavior, operate correctly, and ensure they have no new security holes. Learning and adaptation causes additional concerns. Emergent behavior patterns cannot be fully predicted through the use of traditional system development methods, including testing and model checking. In addition, self-organization can occur as individual systems optimize to address inefficiencies in the larger system. Designing for and detecting emergent behavior has not been addressed in current systems development methodologies. This paper gives background on approaches for modeling and verifying emergent behavior and discusses the use of semi-Boolean algebra as a means for detecting emergence in combined behaviors. Semi-Boolean algebra is a generalization of the Boolean algebra by weakening the requirement that any two elements have a common upper bound. The paper also shares an example approach for modeling and verifying emergent behavior and describes several ways to detect emergent behavior with this technique.
{"title":"Detecting Emergent Behaviors with Semi-Boolean Algebra","authors":"Peter P. Haglich, C. Rouff, L. Pullum","doi":"10.2514/6.2010-3503","DOIUrl":"https://doi.org/10.2514/6.2010-3503","url":null,"abstract":"Aerospace and military systems are becoming increasingly interconnected. In turn, their collective behavior is more difficult to predict. The emergent properties of systems of systems make them powerful, but also more difficult to design, assure proper behavior, operate correctly, and ensure they have no new security holes. Learning and adaptation causes additional concerns. Emergent behavior patterns cannot be fully predicted through the use of traditional system development methods, including testing and model checking. In addition, self-organization can occur as individual systems optimize to address inefficiencies in the larger system. Designing for and detecting emergent behavior has not been addressed in current systems development methodologies. This paper gives background on approaches for modeling and verifying emergent behavior and discusses the use of semi-Boolean algebra as a means for detecting emergence in combined behaviors. Semi-Boolean algebra is a generalization of the Boolean algebra by weakening the requirement that any two elements have a common upper bound. The paper also shares an example approach for modeling and verifying emergent behavior and describes several ways to detect emergent behavior with this technique.","PeriodicalId":358933,"journal":{"name":"AIAA Infotech@Aerospace 2010","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121237699","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：