An interface theory for the internet of things

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 9276, Issue , 2015, Pages 20-34

  Lohstroh, Marten ^a   Lee, Edward A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER PROGRAMMING; FORMAL METHODS; INTERNET; NETWORK ARCHITECTURE; SOFTWARE ENGINEERING;

ACTOR MODELS; COMPONENT ARCHITECTURES; EVALUATION OF DESIGNS; IN NETWORKS; INTERFACE AUTOMATA; INTERNET OF THINGS (IOT); IOT APPLICATIONS; VERTICAL CONTRACTS;

INTERNET OF THINGS;

EID: 84944573499     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-22969-0_2     Document Type: Conference Paper

References (24)

1. Agha, G.A., Mason, I.A., Smith, S.F., Talcott, C.L.: A foundation for actor computation. J. Funct. Program. 7(1), 1-72 (1997)
2. Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K.G.: Contracts for System Design. Research report RR-8147, November 2012
3. Corbett, J.C., et al.: Spanner: Google’s globally-distributed database. ACM Trans. Comput. Syst. (TOCS) 31(3), 8:1-8:22 (2013)
4. de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE), pp. 109-120. ACM Press (2001)
5. de Alfaro, L., Henzinger, T.A.: Interface theories for component-based design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 148-165. Springer, Heidelberg (2001)
6. Dennis, J.B.: First version data flow procedure language. Report MAC TM61, MIT Laboratory for Computer Science (1974)
7. Gelernter, D., Carriero, N.: Coordination languages and their significance. Commun. ACM 35(2), 97-107 (1992)
8. Hewitt, C.: Viewing control structures as patterns of passing messages. J. Artif. Intell. 8(3), 323-363 (1977)
9. Kohler, E., Morris, R., Chen, B., Jannotti, J., Kaashoek, M.F.: The click modular router. ACM Trans. Comput. Syst. 18(3), 263-297 (2000)
10. Latronico, E., Lee, E., Lohstroh, M., Shaver, C., Wasicek, A., Weber, A.: A vision of swarmlets. IEEE Internet Comput. PP(99), 1 (2015)
11. Lee, E.A.: The problem with threads. Computer 39(5), 33-42 (2006)
12. Lee, E.A.: ThreadedComposite: a mechanism for building concurrent and parallel Ptolemy II models. Technical report UCB/EECS-2008-151, EECS Department, University of California, Berkeley, 7 December 2008
13. Lee, E.A., Neuendorffer, S., Wirthlin, M.J.: Actor-oriented design of embedded hardware and software systems. J. Circuits Syst. Comput. 12(3), 231-260 (2003)
14. Lee, E.A., Xiong, Y.: A behavioral type system and its application in Ptolemy II. Formal Aspects Comput. 16(3), 210-237 (2003)
15. Levis, P., Madden, S., Gay, D., Polastre, J., Szewczyk, R., Woo, A., Brewer, E., Culler, D.: The emergence of networking abstractions and techniques in TinyOS. In: First USENIX/ACM Symposium on Networked Systems Design and Implementation (NSDI 2004) (2004)
16. Lynch, N.A., Tuttle, M.R.: Hierarchical correctness proofs for distributed algorithms. In: Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC 1987, pp. 137-151. ACM, New York (1987)
17. Nuzzo, P., Sangiovanni-Vincentelli, A., Sun, X., Puggelli, A.: Methodology for the design of analog integrated interfaces using contracts. IEEE Sens. J. 12(12), 3329-3345 (2012)
18. Perssson, J.: Open source release of IoT app environment Calvin, 4 June 2015. Ericsson Research Blog. http://ericsson.com/research-blog/cloud/open-source-calvin/
19. Ptolemaeus, C. (ed.): System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, Berkeley (2014)
20. Sangiovanni-Vincentelli, A., Martin, G.: Platform-based design and software design methodology for embedded systems. IEEE Des. Test Comput. 18(6), 23-33 (2001)
21. Tomasulo, R.: An efficient algorithm for exploiting multiple arithmetic units. IBM J. Res. Dev. 11(1), 25-33 (1967)
22. von Eicken, T., Culler, D.E., Goldstein, S.C., Schauser, K.E.: Active messages: a mechanism for integrated communication and computation. SIGARCH Comput. Archit. News 20(2), 256-266 (1992)
23. Wegner, P.: Why interaction is more powerful than algorithms. Commun. ACM 40(5), 80-91 (1997)
24. Zhao, Y., Lee, E.A., Liu, J.: A programming model for time-synchronized distributed real-time systems. In: Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 259-268. IEEE (2007)