SCIRP Mobile Website
Paper Submission

Why Us? >>

  • - Open Access
  • - Peer-reviewed
  • - Rapid publication
  • - Lifetime hosting
  • - Free indexing service
  • - Free promotion service
  • - More citations
  • - Search engine friendly

Free SCIRP Newsletters>>

Add your e-mail address to receive free newsletters from SCIRP.


Contact Us >>

Article citations


Ingham, M.D., et al. (2006) Generating Requirements for Complex Embedded Systems Using State Analysis. Acta Astronautica, 58, 648-661.

has been cited by the following article:

  • TITLE: A System Status Definition to Improve Behavior Description in Specifications Based on Constructal Law

    AUTHORS: Luciano Ondir Freire, Dr. Delvonei Alves de Andrade, Daniel Monterrain

    KEYWORDS: Cyber Systems, System Design, Constructal Law, System Behavior Modelling, State Analysis, System Engineering

    JOURNAL NAME: Open Journal of Applied Sciences, Vol.8 No.8, August 8, 2018

    ABSTRACT: System behavior description using states faces problems like state explosion, lack of clear definition of state, state identification and coordination between multiple agents. The goals of this work are to ease design activity, to reduce engineering efforts, and to mitigate project risks. The proposed way is to improve information flow during design by adding definitions and some protocols or rules for communicating a specification or design description. This work presented an objective definition of system status (way of interaction with the rest of the world) along other concepts. This work focused in definitions as mind entities and their importance to rationalize work and mitigate project risks during design. This article presented some simple examples to illustrate the advantages of each aspect of proposed definition of system status and discussed limits and exceptions for such definition. The key finding was the proposed definition which was the simplest while keeping completeness at a given product breakdown level. Such definition of status enforced formal segregation of needs and solutions, and eased the inclusion of behavior definition in specifications.