University of Cambridge > Talks.cam > DIAL seminars > Software Architecture for the Internet of "certain" Things

Software Architecture for the Internet of "certain" Things

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Rengarajan.

While the hype of the “Internet of Things” concept drives many creative researchers, some real work is going on in the manufacturing and other industrial sectors where “smart components” are being developed. The “advanced” academics argue in favour of repeating the success story of the self-organizing Internet in other areas, such as manufacturing, energy and transportation. Practitioners oppose that all technical systems need to implement concrete requirements respecting various constraints. An example of this trend is the so called info-mechatronic components – the building blocks of machines and systems in manufacturing. For example, since already a decade, FESTO is experimenting with such intelligent networking drives, sensors, motors, cameras, etc., trying to find the right balance between usability, connectivity, price/value ratio, etc. Manufacturing engineers perhaps cannot completely rely on the promises of self-configurability and self-organisation of such components, and would still design systems in a more systematic way, but taking into account their “intelligent” capabilities. It is rather a philosophical question of how traditional systems engineering processes need to be adapted to the new realities of such a domain-specific “Internet of Things”, and if there is any promise of genesis? In this talk we will present the concept of Cyber-Physical Component architecture that is being developed in the speaker’s group in Auckland. This architecture addresses several design software and system engineering challenges: right equilibrium between abstract representation and “executability”, round-trip engineering and ability to exhibit emergent behaviour. It offers ability of self-verification thanks to employing the concept of multi-closed-loop modelling. CPC exhibit such properties as portability, interoperability and configurability thanks to the reliance on open standards. The use of synchronous execution paradigm adds determinism and predictability at the run-time. The CPC architecture has been successfully applied in modelling and implementation of systems in such domains as manufacturing, logistics, power systems and building automation. It is being used as “underlying canvas” for generative programming.

This talk is part of the DIAL seminars series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2019 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity