NDLI: Cyclic redundancy checks in Ada95

Please wait, while we are loading the content...

Volume XVII, Issue 6, Nov./Dec. 1997

Volume XVII, Issue 5, Sept./Oct. 1997

Volume XVII, Issue 4, July/Aug. 1997

Volume XVII, Issue 3, May/June 1997

Volume XVII, Issue 2, March/April 1997

Volume XVII, Issue 1, Jan./Feb. 1997

Reaction to NRC recommendations

Selected rationale for NRC recommendations

Reusable software components

Architecture of ASIS

Cyclic redundancy checks in Ada95

An object-oriented approach to automated generation of challenge examinations using Ada 95

Cyclic redundancy checks in Ada95

Content Provider	ACM Digital Library
Author	Duerinckx, Guido
Abstract	Among the many error detection techniques used in (tele)communications, the Cyclic Redundancy Check (CRC) is probably the most powerful one. Roughly speaking the CRC is merely a modulo-2 division of the data (bits) to be transmitted by some 'magical' polynomial known for its high error detection capabilities. CRCs permit ensure that data transmitted over noisy media arrive intact.A common use of CRCs among industrial partners in large software development to projects is to identify quickly shared files. This is the case in the aerospace industry for instance, at least in Europe. CRCs can be computed for any sort of file, be it a document file processed by a COTS word processor, an image file, source code, a data file an executable file. The chances that two different files produce the same CRC checksum are astronomically small. It is our experience it never happened since our involvement in the ARIANE 5 program, the new European launcher, six years ago.A major issue however is due to the many variations among CRCs algorithms. For instance, most UNIX platforms provide a CRC checksum command, but few of them compute the same CRC checksum for a given file (obviously, the file format being identical). This issue has been addressed by the X/Open standardisation committee in charge of the UNIX specification. The so-called X/Open Single UNIX Specification [1], nicknamed UNIX95, contains a precise description of a CRC algorithm, which fully complies with the POSIX one [2]. As UNIX vendors are actually upgrading their product to become UNIX95 branded, one may expect these variations will disappear in the near future, in the UNIX world at least.In this paper we present an implementation of the POSIX/UNIX95 CRC algorithm in Ada95. Our purpose is three-fold. Firstly we want to provide standard source code that can be recompiled on any platform, UNIX-like or not, and be reused by other projects. Secondly we want the implementation to be scalable, typically from a 16-bit CRC ckecksum up to (at least) a 64-bit CRC ckecksum, as 64 bit CPUs become available on the market. The scalability goal is achieved by designing a generic implementation, the POSIX/UNIX95 CRC being a specific 32-bit of instantiation of it. The implementation is based on previous well designed and optimized work done in C [3], the purpose here is not to reinvent the wheel but to make it generic and scalable. Thirdly, the implementation illustrates some of the of new features of the Ada95 language: shifting and rotating procedures, modular types, aliased accesses, generic formal package, child packages and exception information, to name a few.
Starting Page	41
Ending Page	53
Page Count	13
File Format	PDF
ISSN	10943641
DOI	10.1145/249984.249994
Journal	ACM SIGAda Ada Letters (ALET)
Volume Number	XVII
Issue Number	1
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1989-04-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

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