SEA Environment for CARA Software

Autor: Luqi, Shing, M., Berzins, V., Puett, J., Guan, Z., Qiao, Y., Zhang, L., Chaki, N., Liang, X., Ray, W., Brown, M., Floodeen, D., Drusinsky, D.
Přispěvatelé: Naval Postgraduate School (U.S.), Computer Science (CS)
Jazyk: angličtina
Rok vydání: 2002
Předmět:
Popis: This report summarizes our prototyping effort for the Infusion Pump Computer Assisted Resuscitation Algorithm (CARA) software. Computer aided prototyping (CAP) shows promise that one system under development frees designers from implementation details by executing specifications via reusable components. In constructing distributed embedded real-time systems, the formal specifications can facilitate recording and enforcing timing constraints by providing underlying compositional architecture, restricted real-time scheduling and reusable execution base. This effort takes the computer assisted resuscitation algorithm (CARA) software for the infusion pump as the studying case, and presents different versions that model the CARA with specific focuses, such as simplicity of the design, safety-aspects, requirements coverage, enabling architecture, and so forth. Finally the evaluation on CARA requirements and on the language for prototyping complex systems and its associated tools is also provided. U.S. Army Research Office Approved for public release; distribution is unlimited.
Databáze: OpenAIRE