By a News Reporter-Staff News Editor at Computer Weekly News -- Investigators discuss new findings in Embedded Computing Systems. According to news reporting originating in Sydney, Australia, by VerticalNews journalists, research stated, "An infrared sensor is modeled and analyzed in Uppaal. The sensor typifies the sort of component that engineers regularly integrate into larger systems by writing interface hardware and software."
The news reporters obtained a quote from the research from the University of New South Wales, "In all, three main models are developed. In the first model, the timing diagram of the sensor is interpreted and modeled as a timed safety automaton. This model serves as a specification for the complete system. A second model that emphasizes the separate roles of driver and sensor is then developed. It is validated against the timing diagram model using an existing construction that permits the verification of timed trace inclusion, for certain models, by reachability analysis (i.e., model checking). A transmission correctness property is also stated by means of an auxiliary automaton and shown to be satisfied by the model. A third model is created from an assembly language driver program, using a direct translation from the instruction set of a processor with simple timing behavior. This model is validated against the driver component of the second timing diagram model using the timed trace inclusion validation technique."
According to the news reporters, the research concluded: "The approach and its limitations offer insight into the nature and challenges of programming in real time."
For more information on this research see: Analyzing an Embedded Sensor with Timed Automata in Uppaal. ACM Transactions on Embedded Computing Systems, 2013;13(3):77-102. ACM Transactions on Embedded Computing Systems can be contacted at: Assoc Computing Machinery, 2 Penn Plaza, Ste 701, New York, NY 10121-0701, USA.
Our news correspondents report that additional information may be obtained by contacting T. Bourke, University of New South Wales, Sch Comp Sci & Engn, Sydney, NSW, Australia.
Keywords for this news article include: Sydney, Australia and New Zealand, Embedded Computing Systems
Our reports deliver fact-based news of research and discoveries from around the world. Copyright 2014, NewsRx LLC