NDLI: The design and implementation of rapid formal-specification tool based on component

Content Provider	IEEE Xplore Digital Library
Author	Boon-Hee Kim Sam-Taek Kim Young-Chan Kim
Copyright Year	2002
Description	Author affiliation: Dep. of Comput. Sci. & Eng., Chung-Ang Univ., Seoul, South Korea (Boon-Hee Kim; Sam-Taek Kim; Young-Chan Kim)
Abstract	Rapid design of the embedded system is important to have the identical physical features and functional features as a real product. Virtual prototyping is a technology enhancing a product's competitiveness in embedded system development. The life cycle of embedded systems is tending to become shorter. Due to this possible error rates have increased and immense amounts of cost and time can be wasted trying to resolve this. Then it is needed that a formal specification is supporting reliability and representing prompt specifications in system design time. Statechart is a formal specification technique, which is used in virtual prototyping. It uses graphics to specify a system thus having the advantage of easier understanding. However statechart does not provide a prompt formal specification for a new embedded system, which ultimately duplicates cost and time. In this paper, our formal specification mechanism is based on component technique that support reusability and modularity. By using this mechanism, our tool isn't only the time spent on formal specification in new system development will be reduced but the cost of development will also be reduced. Further more by being able to componentize a new product's specification flexibility and maintenance can be improved.
Sponsorship	IEEE Region 10 IEEE Comput. Soc. Beijing Chapter IEEE Commun. Soc. Beijing Chapter IEEE Control Syst. Soc. Beijing Chapter IEEE Power Eng. Soc. Beijing Chapter IEEE Power Electron. Soc. Beijing Chapter IEEE Signal Process. Soc. Biejing Chapter
Starting Page	1257
Ending Page	1260
File Size	298939
Page Count	4
File Format	PDF
ISBN	0780374908
DOI	10.1109/TENCON.2002.1182554
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2002-10-28
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Formal specifications Embedded system Costs Stability Virtual prototyping Concurrent computing Broadcasting Computer science Design engineering Error analysis
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