Archiving programs for the future

Alexander Binun; Shlomi Dolev; Yin Li

doi:10.5220/0005670700490053

Archiving programs for the future

Alexander Binun
, Shlomi Dolev
, Yin Li

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

This paper presents a novel approach for long-term software archiving which is based on preserving programs as bit blocks. A simple machine that is able to execute a single command is used to interpret these bit blocks. We suggest to compile the existing programs into the bit representation of the One-Instruction- Set computer (OISC) command "SUBtract and Branch if Less than or EQual to zero", shortly Subleq. This is in order to keep the resulting bit stream using error correcting code in a reliable storage unit. At any moment, this bit stream can be executed by a simple interpreter that possesses the functionality of a basic Random Access Machine. Furthermore, a compiler prototype based on an existing compiler and interpreter is also proposed to convert a program written by a procedural language (e.g., C) into the Subleq assembly language, and then translates it into a binary executable format. Error correcting is achieved by supplementing bit streams with Hamming codes. Our scheme nullifies the need to preserve legacy hardware in order to support/operate preserved software systems thus serving as a program "time capsule" for the future.

Original language	English
Title of host publication	SKY 2015 - Proceedings of the 6th International Workshop on Software Knowledge, in conjuction with IC3K 2015
Editors	Iaakov Exman, Juan Llorens, Anabel Fraga
Pages	53-57
Number of pages	5
ISBN (Electronic)	9789897581625
DOIs	https://doi.org/10.5220/0005670700490053
State	Published - 1 Jan 2015
Event	6th International Workshop on Software Knowledge, SKY 2015 - Lisbon, Portugal Duration: 12 Nov 2015 → 14 Nov 2015

Publication series

Name	SKY 2015 - Proceedings of the 6th International Workshop on Software Knowledge, in conjuction with IC3K 2015

Conference

Conference	6th International Workshop on Software Knowledge, SKY 2015
Country/Territory	Portugal
City	Lisbon
Period	12/11/15 → 14/11/15

Keywords

Data archiving
Long-term bit preservation
OISC
Subleq

ASJC Scopus subject areas

Software

Access to Document

10.5220/0005670700490053

Cite this

Binun, A., Dolev, S., & Li, Y. (2015). Archiving programs for the future. In I. Exman, J. Llorens, & A. Fraga (Eds.), SKY 2015 - Proceedings of the 6th International Workshop on Software Knowledge, in conjuction with IC3K 2015 (pp. 53-57). (SKY 2015 - Proceedings of the 6th International Workshop on Software Knowledge, in conjuction with IC3K 2015). https://doi.org/10.5220/0005670700490053

Binun, Alexander ; Dolev, Shlomi ; Li, Yin. / Archiving programs for the future. SKY 2015 - Proceedings of the 6th International Workshop on Software Knowledge, in conjuction with IC3K 2015. editor / Iaakov Exman ; Juan Llorens ; Anabel Fraga. 2015. pp. 53-57 (SKY 2015 - Proceedings of the 6th International Workshop on Software Knowledge, in conjuction with IC3K 2015).

@inproceedings{99996ba4d46d4486b96142e0c37b29cb,

title = "Archiving programs for the future",

abstract = "This paper presents a novel approach for long-term software archiving which is based on preserving programs as bit blocks. A simple machine that is able to execute a single command is used to interpret these bit blocks. We suggest to compile the existing programs into the bit representation of the One-Instruction- Set computer (OISC) command {"}SUBtract and Branch if Less than or EQual to zero{"}, shortly Subleq. This is in order to keep the resulting bit stream using error correcting code in a reliable storage unit. At any moment, this bit stream can be executed by a simple interpreter that possesses the functionality of a basic Random Access Machine. Furthermore, a compiler prototype based on an existing compiler and interpreter is also proposed to convert a program written by a procedural language (e.g., C) into the Subleq assembly language, and then translates it into a binary executable format. Error correcting is achieved by supplementing bit streams with Hamming codes. Our scheme nullifies the need to preserve legacy hardware in order to support/operate preserved software systems thus serving as a program {"}time capsule{"} for the future.",

keywords = "Data archiving, Long-term bit preservation, OISC, Subleq",

author = "Alexander Binun and Shlomi Dolev and Yin Li",

note = "Publisher Copyright: Copyright {\textcopyright} 2015 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.; 6th International Workshop on Software Knowledge, SKY 2015 ; Conference date: 12-11-2015 Through 14-11-2015",

year = "2015",

month = jan,

day = "1",

doi = "10.5220/0005670700490053",

language = "English",

series = "SKY 2015 - Proceedings of the 6th International Workshop on Software Knowledge, in conjuction with IC3K 2015",

pages = "53--57",

editor = "Iaakov Exman and Juan Llorens and Anabel Fraga",

booktitle = "SKY 2015 - Proceedings of the 6th International Workshop on Software Knowledge, in conjuction with IC3K 2015",

}

Binun, A, Dolev, S & Li, Y 2015, Archiving programs for the future. in I Exman, J Llorens & A Fraga (eds), SKY 2015 - Proceedings of the 6th International Workshop on Software Knowledge, in conjuction with IC3K 2015. SKY 2015 - Proceedings of the 6th International Workshop on Software Knowledge, in conjuction with IC3K 2015, pp. 53-57, 6th International Workshop on Software Knowledge, SKY 2015, Lisbon, Portugal, 12/11/15. https://doi.org/10.5220/0005670700490053

Archiving programs for the future. / Binun, Alexander; Dolev, Shlomi; Li, Yin.
SKY 2015 - Proceedings of the 6th International Workshop on Software Knowledge, in conjuction with IC3K 2015. ed. / Iaakov Exman; Juan Llorens; Anabel Fraga. 2015. p. 53-57 (SKY 2015 - Proceedings of the 6th International Workshop on Software Knowledge, in conjuction with IC3K 2015).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Archiving programs for the future

AU - Binun, Alexander

AU - Dolev, Shlomi

AU - Li, Yin

PY - 2015/1/1

Y1 - 2015/1/1

N2 - This paper presents a novel approach for long-term software archiving which is based on preserving programs as bit blocks. A simple machine that is able to execute a single command is used to interpret these bit blocks. We suggest to compile the existing programs into the bit representation of the One-Instruction- Set computer (OISC) command "SUBtract and Branch if Less than or EQual to zero", shortly Subleq. This is in order to keep the resulting bit stream using error correcting code in a reliable storage unit. At any moment, this bit stream can be executed by a simple interpreter that possesses the functionality of a basic Random Access Machine. Furthermore, a compiler prototype based on an existing compiler and interpreter is also proposed to convert a program written by a procedural language (e.g., C) into the Subleq assembly language, and then translates it into a binary executable format. Error correcting is achieved by supplementing bit streams with Hamming codes. Our scheme nullifies the need to preserve legacy hardware in order to support/operate preserved software systems thus serving as a program "time capsule" for the future.

AB - This paper presents a novel approach for long-term software archiving which is based on preserving programs as bit blocks. A simple machine that is able to execute a single command is used to interpret these bit blocks. We suggest to compile the existing programs into the bit representation of the One-Instruction- Set computer (OISC) command "SUBtract and Branch if Less than or EQual to zero", shortly Subleq. This is in order to keep the resulting bit stream using error correcting code in a reliable storage unit. At any moment, this bit stream can be executed by a simple interpreter that possesses the functionality of a basic Random Access Machine. Furthermore, a compiler prototype based on an existing compiler and interpreter is also proposed to convert a program written by a procedural language (e.g., C) into the Subleq assembly language, and then translates it into a binary executable format. Error correcting is achieved by supplementing bit streams with Hamming codes. Our scheme nullifies the need to preserve legacy hardware in order to support/operate preserved software systems thus serving as a program "time capsule" for the future.

KW - Data archiving

KW - Long-term bit preservation

KW - OISC

KW - Subleq

UR - https://www.scopus.com/pages/publications/84960840418

U2 - 10.5220/0005670700490053

DO - 10.5220/0005670700490053

M3 - Conference contribution

T3 - SKY 2015 - Proceedings of the 6th International Workshop on Software Knowledge, in conjuction with IC3K 2015

SP - 53

EP - 57

BT - SKY 2015 - Proceedings of the 6th International Workshop on Software Knowledge, in conjuction with IC3K 2015

A2 - Exman, Iaakov

A2 - Llorens, Juan

A2 - Fraga, Anabel

T2 - 6th International Workshop on Software Knowledge, SKY 2015

Y2 - 12 November 2015 through 14 November 2015

ER -

Archiving programs for the future

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this