Change search
ReferencesLink to record
Permanent link

Direct link
Modeling Communication with Synchronized Environments
KTH, School of Information and Communication Technology (ICT), Electronic Systems.
2008 (English)In: Fundamenta Informaticae, ISSN 0169-2968, Vol. 86, no 3, 343-369 p.Article in journal (Refereed) Published
Abstract [en]

A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability. The compatibility of the selected components may become a problem even at abstract design levels, due to possible different degrees of model determinacy, possible different execution models, etc. In this cases, an overall deterministic system behavior is difficult to achieve. The development of communication mechanisms between such components will have then to accommodate the differences, so that both correct processing and information exchange (data and control, appropriate choices and relative timing or sequencing) are achieved. For instance, human-machine interaction offers a good example of cooperation between deterministic models (machines) communicating with highly non-deterministic counterparts (the human models, if not restricted). We analyze here such communication mechanisms by "confronting" synchronized and un-synchronized models of execution, in the framework of action systems, a state based formalism. We "force" the two models to coexist within the same context and explore the possibilities of building trustworthy communication channels between them. We base our approach on a combined polling - interrupt scheme, which allows us to mitigate communication issues that may otherwise compromise the correct input-output system behavior. More robust system models are obtained by applying specific correctness rules of refinement. We illustrate our methods on an audio system example, implementable as either a software or a hardware device.

Place, publisher, year, edition, pages
2008. Vol. 86, no 3, 343-369 p.
Keyword [en]
System modeling, synchronized / interleaved communication, action systems
National Category
Computer and Information Science
URN: urn:nbn:se:kth:diva-31562ISI: 000262367600006ScopusID: 2-s2.0-58149494674OAI: diva2:406477
6th International Conference on Application of Concurrency to System Design Turku, FINLAND, JUN 28-30, 2006
QC 20110325 Bidrag till konferensen:(6th International Conference on Application of Concurrency to System Design Turku, FINLAND, JUN 28-30, 2006) Available from: 2011-03-25 Created: 2011-03-18 Last updated: 2011-03-25Bibliographically approved

Open Access in DiVA

No full text

Other links

ScopusIOS press

Search in DiVA

By author/editor
Jantsch, Axel
By organisation
Electronic Systems
In the same journal
Fundamenta Informaticae
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 13 hits
ReferencesLink to record
Permanent link

Direct link