Search

Your search keyword '"Schuts, M."' showing total 3 results
Start Over Author "Schuts, M." Topic 01 natural sciences
3 results on '"Schuts, M."'

1. Integrating Interface Modeling and Analysis in an Industrial Setting

Author

Swagerman, D.-J., Hooman, J.J.M., Schuts, M., Kurtev, I., Pires, L. Ferreira, and Pires, L. Ferreira

Subjects
010201 computation theory & mathematics, Computer science, Interface modeling, Software Science, 0202 electrical engineering, electronic engineering, information engineering, Industrial setting, 020201 artificial intelligence & image processing, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Industrial engineering, Manufacturing engineering
Abstract

Contains fulltext : 173201.pdf (Publisher’s version ) (Open Access)

Published
2017

2. Modelling Clock Synchronization in the Chess gMAC WSN Protocol

Author

Schuts, M., Zhu, F., Heydarian, F., Vaandrager, F.W., Andova, Suzana, McIver, Annabelle, D'Argenio, Pedro, Cuijpers, Pieter, Markovski, Jasen, Morgan, Caroll, Nunez, Manuel, Andova, Suzana, McIver, Annabelle, D'Argenio, Pedro, Cuijpers, Pieter, Markovski, Jasen, Morgan, Caroll, and Nunez, Manuel

Subjects
Model checking, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer science, Formal Languages and Automata Theory (cs.FL), Electronic Proceedings in Theoretical Computer Science, Infinitesimal, Real-time computing, Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Clock synchronization, lcsh:QA75.5-76.95, Computer Science - Networking and Internet Architecture, 0202 electrical engineering, electronic engineering, information engineering, Software Science, Computer Science::Networking and Internet Architecture, Protocol (object-oriented programming), Networking and Internet Architecture (cs.NI), lcsh:Mathematics, 020206 networking & telecommunications, lcsh:QA1-939, Automaton, Logic in Computer Science (cs.LO), Computer Science - Distributed, Parallel, and Cluster Computing, 010201 computation theory & mathematics, Distributed, Parallel, and Cluster Computing (cs.DC), lcsh:Electronic computers. Computer science, Wireless sensor network
Abstract

We present a detailled timed automata model of the clock synchronization algorithm that is currently being used in a wireless sensor network (WSN) that has been developed by the Dutch company Chess. Using the UPPAAL model checker, we establish that in certain cases a static, fully synchronized network may eventually become unsynchronized if the current algorithm is used, even in a setting with infinitesimal clock drifts.

Published
2009

3. Industrial Application of Domain Specific Languages Combined with Formal Techniques

Author

Schuts, M., Hooman, J.J.M., Stewart, R., and Stewart, R.

Subjects
Domain-specific language, Informatics, Computer science, Test generation, 0102 computer and information sciences, computer.software_genre, 01 natural sciences, Component (UML), Software Science, 0101 mathematics, TS - Technical Sciences, Industrial Innovation, Programming language, business.industry, Formal methods, 010102 general mathematics, Domain specific language, Digital subscriber line, Test case, ESI - Embedded Systems Innovations, 010201 computation theory & mathematics, Information and Communications Technology, ICT, New product development, business, computer, Simulation, Power control
Abstract

Two Domain Specific Languages (DSLs) have been developed to improve the development of a power control component of interventional X-ray systems of Philips. Configuration files and test cases are generated from instances of these DSLs. To increase the confidence in these instances and the generators, formal models have been generated to analyse DSL instances and to crosscheck the results of the generators. A DSL instance serves as a single source from which the implementation and the formal analysis models are generated. In this way, it is easy to maintain the formal support in case of changes and for new product releases. We report about our experiences with this approach in a real development project at Philips.

Published
2016

Catalog

Books, media, physical & digital resources
See catalog results