A theory for execution-time derivation in real-time programs

We provide an abstract command language for real-time programs and outline how a partial correctness semantics can be used to compute execution times. The notions of a timed command, refinement of a timed command, the command traversal condition, and the worst-case and best-case execution time of a command are formally introduced and investigated with the help of an underlying weakest liberal precondition semantics. The central result is a theory for the computation of worst-case and best-case execution times from the underlying semantics based on supremum and infimum calculations. The framework is applied to the analysis of a message transmitter program and its implementation. (c) 2005 Elsevier B.V. All rights reserved.

Ten Australian elementary teachers' discourse and reported pedagogical practices during cooperative learning

This article describes the types of discourse 10 Australian grade 4-6 teachers used after they had been trained to embed cooperative learning in their curriculum and to use communication skills to promote students' thinking and to scaffold their learning. One audiotaped classroom social science lesson involving cooperative learning was analyzed for each teacher. We provide vignettes from 2 teachers as they worked with groups and from 2 student groups. The data from the audiotapes showed that the teachers used a range of mediated-learning behaviors in their interactions with the children that included challenging their perspectives, asking more cognitive and metacognitive questions, and scaffolding their learning. In turn, in their interactions with each other, the children modelled many of the types of discourse they heard their teachers use. Follow-up interviews with the teachers revealed that they believed it was important to set expectations for children's group behaviors, teach the social skills students needed to deal with disagreement in groups, and establish group structures so children understood what was required both from each other and the task. The teachers reported that mixed ability and gender groups worked best and that groups should be no larger than 5 students. All teachers' programs were based on a child-centered philosophy that recognized the importance of constructivist approaches to learning and the key role interaction plays in promoting social reasoning and learning.

On the execution of collaborative business processes

Management of collaborative business processes that span multiple business entities has emerged as a key requirement for business success. These processes are embedded in sets of rules describing complex message-based interactions between parties such that if a logical expression defined on the set of received messages is satisfied, one or more outgoing messages are dispatched. The execution of these processes presents significant challenges since each contentrich message may contribute towards the evaluation of multiple expressions in different ways and the sequence of message arrival cannot be predicted. These challenges must be overcome in order to develop an efficient execution strategy for collaborative processes in an intensive operating environment with a large number of rules and very high throughput of messages. In this paper, we present a discussion on issues relevant to the evaluation of such expressions and describe a basic query-based method for this purpose, including suggested indexes for improved performance. We conclude by identifying several potential future research directions in this area. © 2010 IEEE. All rights reserved

Implementation of a triple modular redundant FPGA based safety critical system for reliable software execution

This paper describes the implementation of a TMR (Triple Modular Redundant) microprocessor system on a FPGA. The system exhibits true redundancy in that three instances of the same processor system (both software and hardware) are executed in parallel. The described system uses software to control external peripherals and a voter is used to output correct results. An error indication is asserted whenever two of the three outputs match or all three outputs disagree. The software has been implemented to conform to a particular safety critical coding guideline/standard which is popular in industry. The system was verified by injecting various faults into it.