NDLI: Towards standard-based specification and design of embedded real-time systems

Content Provider	IEEE Xplore Digital Library
Author	Gumzej, R. Colnaric, M. Verber, D. Halang, W.A.
Copyright Year	1998
Description	Author affiliation: Fac. of Electr. Eng. & Comput. Sci., Maribor Univ., Slovenia (Gumzej, R.)
Abstract	Real-time Systems and embedded systems in particular have, until recently, been built as works of art. Standard hardware components only are now being used and scalable standardized operating systems are being built. There have been many attempts to simplify the design of these systems through the use of standard mechanisms and components, but many have failed due to the specific nature of their applications. A standard-based approach to the specification of hardware and software configurations of embedded real-time systems is described. It is based on the DIN standard 66 253, Part 3: PEARL for Distributed systems and customized for use in hard real-time embedded applications-"Specification PEARL". A specification language is presented in its BNF notation as well as the graphical notation with the same expressive power which was derived from it. The approach supports top down refinement. The specifications allow HW/SW co-design, consistency checking and provide a good foundation for the design phase of the system development cycle. In fact the design of software can be introduced from the specification where abstract software collections are identified and associated with stations of the system in a natural way.
Starting Page	453
Ending Page	460
File Size	662249
Page Count	8
File Format	PDF
ISBN	0818686464
ISSN	10896503
DOI	10.1109/EURMIC.1998.711839
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1998-08-27
Publisher Place	Sweden
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Real time systems Hardware Application software Formal languages Computer aided software engineering Embedded system Error correction Computer science Operating systems Embedded software
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in