NDLI: Reasoning about Hybrid System of Systems Designs

Content Provider	IEEE Xplore Digital Library
Author	Gamble, M.T. Gamble, R.F.
Copyright Year	2008
Description	Author affiliation: Univ. of Tulsa, Tulsa (Gamble, M.T.; Gamble, R.F.)
Abstract	Constructing a complex system-of-systems (SoS) involves integrating two or more components. When integrations overcome isolating mechanisms inherent to heterogeneous components, a SoS is a software hybrid. SoS designers are challenged to create a viable hybrid that reuses significant value from autonomous, component systems while allowing for new, SoS-wide properties to emerge and be reliably maintained. Thus, a SoS is a super-system integrating many designs, yet not identical to any of them. Formalisms beyond architecture definition languages for mismatch are needed to express SoS designs to terms of the properties and structures that promote the determination of the cause of hybrid failure and its resolution. This paper extends a formal specification language to SoS designs within a paradigm based on software speciation, where software systems experience divergent evolution under various forms of isolation to become incompatible. Examples from security audit are used to illustrate the application of the formalism.
Starting Page	154
Ending Page	163
File Size	315501
Page Count	10
File Format	PDF
ISBN	9780769530918
DOI	10.1109/ICCBSS.2008.39
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2008-02-25
Publisher Place	Spain
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Shape system of systems interoperability isolation Maintenance Security Formal specifications Application software Computer science Evolution (biology) hybrid systems Computer architecture Software systems Robustness
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Specifying and reasoning about generic architecture in TCOZ

Reasoning about hybrid system of systems designs.

Architectural-Based Validation of Fault-Tolerant Software

Extending Description Logic for Reasoning about Ontology Evolution

Formal Specs Reuse with Embedded Systems Design Behavioral and Architectural Specifications in Real-Time Application Domains

Pattern-based Reengineering of Software Systems

An architecture for multilevel secure interoperability

Reasoning about Conditional Constraint Specifications

An Ontology-Based Approach to Software Comprehension - Reasoning about Security Concerns

Reasoning about Hybrid System of Systems Designs

Similar Documents

Specifying and reasoning about generic architecture in TCOZ

Reasoning about hybrid system of systems designs.

Architectural-Based Validation of Fault-Tolerant Software

Extending Description Logic for Reasoning about Ontology Evolution

Formal Specs Reuse with Embedded Systems Design Behavioral and Architectural Specifications in Real-Time Application Domains

Pattern-based Reengineering of Software Systems

An architecture for multilevel secure interoperability

Reasoning about Conditional Constraint Specifications

An Ontology-Based Approach to Software Comprehension - Reasoning about Security Concerns

Reasoning about Hybrid System of Systems Designs