scholarly journals Behaviour analysis and safety conditions: A case study in CML

1998 ◽  
pp. 255-269 ◽  
Author(s):  
Hanne Riis Nielson ◽  
Torben Amtoft ◽  
Flemming Nielson
Keyword(s):  
Behaviour Analysis

scholarly journals How to Understand Disorderly Boys - An Exchange of Didactic Experiences Among Textile-Sloyd Teachers in an Internet-based Community of Practice

2015 ◽  
Vol 8 (2) ◽  
Author(s):  
Marcus Samuelsson
Keyword(s):  
Classroom Management ◽  
Everyday Life ◽  
Community Of Practice ◽  
The Internet ◽  
Freedom Of Choice ◽  
Behaviour Analysis

This paper reports on a case study in which a textile-sloyd teacher sent a message to an internet-based community of practice seeking advice from other textile-sloyd teachers regar­ding how to cope with unruly boys. Two major themes emerged from a interview and the discu­­ssion on the Internet: 1) behaviour analysis and 2) coping attempts The analysis also reve­­aled two themes related to the exchange of experiences: 1) descriptions of the problem as pertaining to the pupils, the process, classroom management, freedom of choice, or conne­ction to everyday life and 2) suggested solutions, such as area of activity, competences, leader­­ship and techniques. The article concludes with a discussion demonstrating that the collegial exch­ange about disorderly boys appears to have strengthened and challenged this internet-based community of practice.

scholarly journals Behaviour Analysis and Safety Conditions: a Case Study in CML

1997 ◽  
Vol 26 (528) ◽  
Author(s):  
Hanne Riis Nielson ◽  
Torben Amtoft ◽  
Flemming Nielson
Keyword(s):  
Embedded System ◽  
Programming Language ◽  
Program Analysis ◽  
Process Algebra ◽  
Control Program ◽  
Inference Algorithm ◽  
Behaviour Analysis ◽  
Automatic Inference ◽  
Production Cell

We describe a case study where novel program analysis technology has been used to pinpoint a subtle bug in a formally developed control program for an embedded system. The main technology amounts to first defining a process algebra (called behaviours) suited to the programming language used (in our case CML) and secondly to devise an annotated type and effect system for extracting behaviours from programs in a such a manner that an automatic inference algorithm can be developed. The case study is a control program developed for the "Karlsruhe Production Cell" and our analysis of the behaviours shows that one of the safety conditions fails to hold.

scholarly journals Behaviour Analysis for Validating Communication Patterns

1997 ◽  
Vol 26 (527) ◽  
Author(s):  
Torben Amtoft ◽  
Hanne Riis Nielson ◽  
Flemming Nielson
Keyword(s):  
Process Algebra ◽  
Reactive Systems ◽  
Communication Patterns ◽  
The Internet ◽  
Concurrent Programs ◽  
Behaviour Analysis ◽  
The Core ◽  
Theoretical Results

The communication patterns of concurrent programs can be expressed succinctly using behaviours; these can be viewed as a kind of causal constraints or as a kind of process algebra terms. We present a system which infers behaviours from a useful fragment of Concurrent ML programs; it is based on previously developed theoretical results and forms the core of a system available on the Internet. By means of a case study, used as a benchmark in the literature, we shall see that the system facilitates the validation of certain safety conditions for reactive systems.

Sign in / Sign up

Export Citation Format

Share Document