NDLI: Formal requirement management for the Responsive and Formal Design process

Content Provider	IEEE Xplore Digital Library
Author	Gebreyohannes, S. Edmonson, W. Chenou, J. Neogi, N. Esterline, A.
Copyright Year	2015
Description	Author affiliation: NASA LaRC, Hampton, VA, USA (Neogi, N.) \|\| NC A & T State Univ., Greensboro, NC, USA (Gebreyohannes, S.; Edmonson, W.; Chenou, J.; Esterline, A.)
Abstract	In this paper, we present the formal requirement management of the Responsive and Formal Design (RFD) process that extracts a formal theory from requirements written in a natural language. The RFD process was developed as a procedure used in designing Cyber-Physical Systems (CPS) and represents an integration of Model-Based Systems Engineering (MBSE) with formal methods to ensure a “correct-by-construction” design. The extraction of a formal theory is based on Channel Theory as developed by Barwise and Seligman, which is established as a framework for the “flow of information” in terms of category theory. A system consists of components connected via channels. Each component is viewed as an information-flow network and mathematically modeled using a notion of a classification. A classification is a table representation of an information-flow network. Regularities (that represent global behavior of the system) of a classification are captured using a theory (a set of formulas or constraints). One goal of the RFD process is to insure that the requirements are formally consistent. In this paper, we develop a set of algorithms that extracts a theory from a classification, though the theory is not necessarily unique. This work is inclusive of an algorithm which checks whether a regular closure (based on structural rules) of a theory is a theory of a given classification. An example of this work is demonstrated through a satellite communication Store and Forward operation.
Starting Page	364
Ending Page	369
File Size	823160
Page Count	6
File Format	PDF
e-ISBN	9781479919208
DOI	10.1109/SysEng.2015.7302783
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2015-09-28
Publisher Place	Italy
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Satellites Semantics Redundancy Silicon Modeling Satellite communication
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

Small satellite systems design methodology: A formal and agile design process

Preliminary Design of Payload Subsystem in the VX-SAT Communication Satellite

Redundancy modeling for the X-Sat microsatellite system

Design on the Simulation Platform for Mobility Management in LEO Satellite Network Based on OPNET

Communication satellite payload redundancy reconfiguration

Design of Communication Primitives for Satellites Networks Management

Reliability analysis of TUSAT satellite communication payload

System design for aeronautical broadband satellite communications

Satellite constellations summary, analysis and design for China mobile satellite communication

Formal requirement management for the Responsive and Formal Design process

Similar Documents

Small satellite systems design methodology: A formal and agile design process

Preliminary Design of Payload Subsystem in the VX-SAT Communication Satellite

Redundancy modeling for the X-Sat microsatellite system

Design on the Simulation Platform for Mobility Management in LEO Satellite Network Based on OPNET

Communication satellite payload redundancy reconfiguration

Design of Communication Primitives for Satellites Networks Management

Reliability analysis of TUSAT satellite communication payload

System design for aeronautical broadband satellite communications

Satellite constellations summary, analysis and design for China mobile satellite communication

Formal requirement management for the Responsive and Formal Design process