Name
Abstract | ||
|---|---|---|
We are motivated to complement our methodology by integrating collaboration diagrams to facilitate the specification of capsules in UML-RT design models. An improved systematic transformation method to derive a cor- rect and complete formal system specification of real-time systems is estab- lished. This article aims at integrating temporal requirements in the design stage of the life cycle of a real-time system, so that scheduling and dependabil- ity analysis can be performed at this stage. The application of CSP+T process algebra to carry out a systematic transformation from a UML-RT model of a well known manufacturing-industry paradigmatic case, the "Production-Cell", is also presented. |
Year | Venue | Keywords |
|---|---|---|
2006 | MSVVEIS | life cycle,formal specification,process algebra,manufacturing industry,real time systems |
Field | DocType | Citations |
Specification language,Software engineering,Systems engineering,Computer science,Formal specification,Language Of Temporal Ordering Specification,Product design specification,Refinement,Formal methods,System requirements specification,Formal verification | Conference | 1 |
PageRank | References | Authors |
0.40 | 7 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Kawtar Benghazi Akhlaki | 1 | 80 | 17.92 |
| Manuel I. Capel | 2 | 52 | 17.35 |
| Juan Antonio Holgado Terriza | 3 | 19 | 3.68 |
| Luis E. Mendoza Morales | 4 | 14 | 4.86 |