SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems

Estrin, Gerald; Fenchel, R. S.; Razouk, Rami R.; Vernon, Mary K.

doi:10.1109/tse.1986.6312945

Cited by 77 publications

(17 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The tools and methods of the time permitted and assisted in the organization of the requirements, refinement of details, consistency checking, preparation of the specification, and in some cases, formalization of these requirements (Alford, 1977;Ross, 1977;Teichroew, 1977;Alford, 1978;Zave, 1982;Burstin, 1984;Alford, 1985;Borgida, 1985;Sievert, 1985;Estrin, 1986). Some of these tools also provided a means to relate design and implementation artifacts to their individual requirements to assist in the eventual validation of the realization of the requirements.…”

Section: Brief History Of Requirements Engineering Methods and Toolsmentioning

confidence: 99%

AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation

Goldin

Berry

1997

Automated Software Engineering

126

View full text Add to dashboard Cite

Abstract. Abstraction identification is named as a key problem in requirements analysis. Typically, the abstractions must be found among the large mass of natural language text collected from the clients and users. This paper motivates and describes a new approach, based on traditional signal processing methods, for finding abstractions in natural language text and offers a new tool, AbstFinder as an implementation of this approach. The advantages and disadvantages of the approach and the design of the tool are discussed in detail. Various scenarios for use of the tool are offered. Some of these scenarios were used in case study of the effectiveness of the tool on an industrial-strength example of finding abstractions in a request for proposals.

show abstract

Section: Brief History Of Requirements Engineering Methods and Toolsmentioning

confidence: 99%

AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation

Goldin

Berry

1997

Automated Software Engineering

126

View full text Add to dashboard Cite

show abstract

“…The System ARchitects' Apprentice (SARA) is a computer-aided design environment that supports a structured, multi-level methodology for the design of hardware and software systems (Estrin et al 1986). The functional and performance requirements of a system and its operating environment are specified prior to the use of SARA in designing this system.…”

Section: Saramentioning

confidence: 99%

“…A node can have many input and output control arcs. The GMB control graph, with appropriate restrictions, is equivalent to the placetransition Petri net model, and supports similar reachability analysis methods (Estrin et al 1986). Logic expressions specify which control inputs are absorbed when a control node is initiated, and how control outputs are distributed when the node terminates.…”

Section: Saramentioning

confidence: 99%

Real-time software methodologies: Are they suitable for developing Manufacturing control software?

Chaar

Teichroew

Volz

1993

Int J Flex Manuf Syst

View full text Add to dashboard Cite

Abstract. Computer-Integrated Manufacturing (CIM) systems may be classified as real-time systems. Hence, the applicability of methodologies that are developed for specifying, designing, implementing, testing, and evolving real-time software is investigated in this article.The paper highlights the activities of the software development process. Among these activities, a great emphasis is placed on automating the software requirements specification activity, and a set of formal models and languages for specifying these requirements is presented. Moreover, a synopsis of the real-time software methodologies that have been implemented by the academic and industrial communities is presented together with a critique of the strengths and weaknesses of these methodologies.The possible use of the real-time methodologies in developing the control software of efficient and dependable manufacturing systems is explored. In these systems, efficiency is achieved by increasing the level of concurrency of the operations of a plan, and by scheduling the execution of these operations with the intent of maximizing the utilization of the devices of their systems. On the other hand, dependability requires monitoring the operations of these systems. This monitoring activity facilitates the detection of faults that may occur when executing the scheduled operations of a plan, recovering from these faults, and, whenever feasible, resuming the original schedule of the system. The paper concludes that the set of surveyed methodologies may be used to develop the real-time control software of efficient and dependable manufacturing systems. However, an integrated approach to planning, scheduling, and monitoring the operations of these systems will significantly enhance their utility, and no such approach is supported by any of these methodologies.

show abstract

“…Graphical specification languages are mainly used for information system design and verification. There are many such tools including SAS (Lissander et al, 1985), SADT (Ross, 1985), SARA (Estrin et al, 1986), and SREM (Alford, 1977).…”

Section: Related Workmentioning

confidence: 99%

Concurrent modeling language (CML) for discrete process modeling, simulation and control

Ben‐Arieh

1992

J Intell Manuf

View full text Add to dashboard Cite

Modern manufacturing systems can be viewed as distributed concurrent discrete processes, using extensive communication internally and with the environment. The concurrency and reactive nature of the system make it difficult to model and analyze correctly. This paper presents a genuine high level and concurrent modeling language, CML, that can be used for modeling and control of manufacturing processes. In addition, it can be used for simulation and analysis of the system's operation. The CML language is based on fiat concurrent prolog which is a declarative concurrent logic programming language, therefore, highly expressive, and theoretically sound.

show abstract

SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems

Cited by 77 publications

References 14 publications

AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation

AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation

Real-time software methodologies: Are they suitable for developing Manufacturing control software?

Concurrent modeling language (CML) for discrete process modeling, simulation and control

Contact Info

Product

Resources

About