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.

scholarly journals Early Warning of Electric Characteristic Parameters on Electric Power System Based on Embedded System

2018 ◽  
Vol 173 ◽  
pp. 02031
Author(s):  
Zhangli YANG
Keyword(s):  
Power System ◽  
Embedded System ◽  
Electric Power ◽  
Early Warning ◽  
Control Program ◽  
Electric Power System ◽  
Characteristic Parameters ◽  
Electric Characteristic ◽  
Embedded Microprocessor ◽  
Hardware Circuit

In order to avoid the operation accidents of power system caused by the influences of various artificial or nature factors, the paper explored the early warning of characteristic parameters on power system based on embedded system. In the paper, it taken a 110kV substation as an example, studied on therelated algorithm of the electric characteristic parameters, constructed the hardware and software platformbased on embedded microprocessor, and designed the hardware circuit and software control program. The commissioning test demonstrated that it could accurately judge the latent fault of related devices, and send correctly the trip command to make the isolation between the fault device and the power system so as to protect the system from being damaged. The experiment results show that it is effective and available to early warning of power system.

AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS

2001 ◽  
Vol 12 (01) ◽  
pp. 97-124 ◽  
Author(s):  
EDGAR F. A. LEDERER ◽  
ROMEO A. DUMITRESCU
Keyword(s):  
Programming Language ◽  
Error Detection ◽  
Program Execution ◽  
Good Efficiency ◽  
Result Verification ◽  
Coordination Model ◽  
Functional Specification ◽  
Time Result ◽  
Run Time

Two-Stage Programming (2SP) is an experimental programming language, the first implementation of the Specification-Consistent Coordination Model (SCCM). The SCCM proposes a new, mixed-paradigm (functional/imperative) approach to developing reliable programs based on complete run-time checking of computations with respect to a given specification. A 2SP program consists of a functional specification and an imperative coordination tightly connected to the specification. The coordination maps the specification to an imperative and possibly parallel/distributed program. Normal termination of a 2SP program execution implies the correctness of the computed results with respect to the specification, for that execution. We present the basic feautures of the SCCM/2SP, a new message-spassing system of 2SP with integrated run-time checking, and a larger case study. We show that 2SP provides: functional specifications, specification-consistent imperative coordinations, automatic run-time result verification and error detection, enhanced debugging support, and good efficiency.

Am embedded system case study

1997 ◽  
Author(s):  
Clifford Liem ◽  
Marco Cornero ◽  
Miguel Santana ◽  
Pierre Paulin ◽  
Ahmed Jerraya ◽  
...  
Keyword(s):  
Embedded System

The Importance of Programming Paradigms to Manufacturing Engineering Graduates: A Case Study from International Islamic University Malaysia Graduates

2013 ◽  
Vol 465-466 ◽  
pp. 387-394
Author(s):  
Muhammad Ashraf Fauri Fauzi ◽  
Daeng Ahmad Zuhri Zuhud ◽  
Hafiz Husin
Keyword(s):  
Programming Language ◽  
Online Survey ◽  
Public Universities ◽  
Modern World ◽  
Intermediate Scale ◽  
Programming Paradigm ◽  
Higher Institution ◽  
Programming Paradigms ◽  
Selection Of

Digital computers that automate manufacturing process are an important aspect for any manufacturing engineers in the modern world. Selection of the programming paradigm (PP), as well as the programming language (PL) that supports it, is crucial to ensure the correct ideas are being used to automate the solution of the problem. In current Malaysian Higher institution practices, various PPs and PLs courses are offered to current undergraduate manufacturing majors. An online survey was deployed to experienced manufacturing engineers from various manufacturing specializations in the industry. Graduates from one of Malaysias public universities, International Islamic University Malaysia (IIUM) have been chosen for this particular study. From the survey, it has been found that almost 80% of the participants agreed that PPs are important for manufacturing graduates. It was found out that 90% of the participants were from intermediate (scale of 3) until poor (scale of 1) to express their ability to explain PPs if asked. Only about 10% are able to explain on PPs (scale of 4 and 5). The study concluded that majority of the manufacturing graduates from IIUM agreed that PP is an important subject to be taught in university. However, it was found the majority of the manufacturing graduates lack the knowledge and understanding of PPs and general PLs.

scholarly journals A Runtime System for XML Transformations in Java

2004 ◽  
Vol 11 (33) ◽  
Author(s):  
Aske Simon Christensen ◽  
Christian Kirkegaard ◽  
Anders Møller
Keyword(s):  
Static Analysis ◽  
Programming Language ◽  
Program Analysis ◽  
Companion Paper ◽  
General Purpose ◽  
Runtime System ◽  
Xml Documents ◽  
Level Data ◽  
High Level ◽  
The Given

We show that it is possible to extend a general-purpose programming language with a convenient high-level data-type for manipulating XML documents while permitting (1) precise static analysis for guaranteeing validity of the constructed XML documents relative to the given DTD schemas, and (2) a runtime system where the operations can be performed efficiently. The system, named Xact, is based on a notion of immutable XML templates and uses XPath for deconstructing documents. A companion paper presents the program analysis; this paper focuses on the efficient runtime representation.

scholarly journals Business Analytics untuk Perguruan Tinggi: Studi Kasus Atas Pembukaan Program Studi Baru di UHAMKA

2021 ◽  
Author(s):  
Nuryadi Wijiharjono
Keyword(s):  
Higher Education ◽  
Program Analysis ◽  
Swot Analysis ◽  
Higher Education Institutions ◽  
Degree Program ◽  
Data Availability ◽  
Business Analytics ◽  
Analysis Method ◽  
The University

This title of article is Business Analytics for Higher Education Institutions. By taking a case study at the Universitas Muhammadiyah Prof. Dr. Hamka (UHAMKA), this article aims to analyze and provide recommendations for the plan to establish a new academic of undergraduate degree program. Analysis of the institutional and technical environment that affects the legitimacy and sustainability of the university. This study uses the SWOT analysis method in the perspective of Business Analytics, where data availability plays a key role.

FIRST-CLASS CONTEXTS IN ML

2000 ◽  
Vol 11 (01) ◽  
pp. 65-87
Author(s):  
MASATOMO HASHIMOTO
Keyword(s):  
Programming Language ◽  
Operational Semantics ◽  
Type System ◽  
Type Inference ◽  
Inference Algorithm ◽  
Hole Filling ◽  
Dynamic Binding ◽  
Polymorphic Type ◽  
Open Program ◽  
Program Modules

This paper develops an ML-style programming language with first-class contexts i.e. expressions with holes. The crucial operation for contexts is hole-filling. Filling a hole with an expression has the effect of dynamic binding or macro expansion which provides the advanced feature of manipulating open program fragments. Such mechanisms are useful in many systems including distributed/mobile programming and program modules. If we can treat a context as a first-class citizen in a programming language, then we can manipulate open program fragments in a flexible and seamless manner. A possibility of such a programming language was shown by the theory of simply typed context calculus developed by Hashimoto and Ohori. This paper extends the simply typed system of the context calculus to an ML-style polymorphic type system, and gives an operational semantics and a sound and complete type inference algorithm.

Sign in / Sign up

Export Citation Format

Share Document