Name
Abstract | ||
|---|---|---|
Pattern solutions for software and architectures have significantly reduced design, verification, and validation times by mapping challenging problems into a solved generic problem. In the paper, we present an architecture pattern for ensuring synchronous computation semantics using the PALS protocol. We develop a modeling framework in AADL to automatically transform a synchronous design of a real-time distributed system into an asynchronous design satisfying the PALS protocol. We present a detailed example of how the PALS transformation works for a dual-redundant system. From the example, we also describe the general transformation in terms of intuitively defined AADL semantics. Furthermore, we develop a static analysis checker to find necessary conditions that must be satisfied in order for the PALS transformation to work correctly. The transformations and static checks that we have described are implemented in OSATE using the generated EMF metamodel API for model manipulation. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1109/RTSS.2009.50 | RTSS |
Keywords | Field | DocType |
osate,protocols,pals transformation work,synchronous computation semantics,pals transformation,asynchronous design,real-time distributed systems,architecture description language,logical synchronization,general transformation,synchronous design,pattern solutions,architecture pattern,dual-redundant system,pals protocol,emf metamodel api,detailed example,aadl semantics,formal architecture pattern,aadl,distributed processing,gals,formal verification,computational semantics,real time,distributed system,real time systems,control systems,satisfiability,static analysis,computational modeling,synchronization,architectural pattern | Asynchronous communication,Synchronization,Programming language,Computer science,Static analysis,Real-time computing,Software,Metamodeling,Semantics,Formal verification,Distributed computing,Architecture description language | Conference |
ISSN | ISBN | Citations |
1052-8725 | 978-0-7695-3875-4 | 12 |
PageRank | References | Authors |
0.81 | 9 | 6 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Abdullah Al-Nayeem | 1 | 48 | 3.82 |
| Mu Sun | 2 | 114 | 8.10 |
| Xiaokang Qiu | 3 | 193 | 12.02 |
| L. Sha | 4 | 7376 | 1006.47 |
| Steven P. Miller | 5 | 561 | 56.48 |
| Darren D. Cofer | 6 | 214 | 20.08 |