Runtime assurance of aeronautical products : preliminary recommendations / Guillaume Brat, Ganesh Pai.

Authors: Brat, Guillaume

Subject Terms: Cybernetics., Computer systems programs., Artificial intelligence., Aeronautics.

Online Access: https://purl.fdlp.gov/GPO/gpo192084
https://ntrs.nasa.gov/api/citations/20220015734/downloads/tm-rta-guidance.pdf

Experimental validation of clock synchronization algorithms / Daniel L. Palumbo, R. Lynn Graham.

Authors: Palumbo, Daniel L., author

Subject Terms: Proving., Computer systems programs., Data processing., Synchronization., Electronic data processing -- Distributed processing., Computer programs -- Validation., Computer programs -- Verification., Electronic data processing -- Distributed processing., Real-time data processing., Synchronization.

Online Access: https://purl.fdlp.gov/GPO/gpo173720
https://ntrs.nasa.gov/api/citations/19920018346/downloads/19920018346.pdf

Developing application frameworks for mission-critical software:Using space applications as an example.

Authors: Ihme, Tuomas, Kumara, Pekka, Suihkonen, Keijo, Holsti, Niklas, Paakko, Matti

Source: Ihme, T, Kumara, P, Suihkonen, K, Holsti, N & Paakko, M 1998, Developing application frameworks for mission-critical software : Using space applications as an example. VTT Tiedotteita - Meddelanden - Research Notes, no. 1933, VTT Technical Research Centre of Finland, Espoo. < https://publications.vtt.fi/pdf/tiedotteet/1998/T1933.pdf >

Subject Terms: computer systems programs, software, space software, object-oriented analysis, object-oriented design

Relation: info:eu-repo/semantics/altIdentifier/isbn/951-38-5401-9

Availability: https://cris.vtt.fi/en/publications/67139ff8-2675-4c1a-be6e-3d9b4b4da54a
https://publications.vtt.fi/pdf/tiedotteet/1998/T1933.pdf

Natural naming in software development and maintenance:Dissertation

Authors: Laitinen, Kari

Source: Laitinen, K 1995, 'Natural naming in software development and maintenance : Dissertation', Doctor Degree, University of Oulu, Espoo. < https://publications.vtt.fi/pdf/publications/1995/P243.pdf >

Subject Terms: computer systems programs, computer programs, computers, programming, software development, software documentation, maintenance, naming, natural languages, human factors engineering, documents

Relation: info:eu-repo/semantics/altIdentifier/isbn/951-38-4781-0

Availability: https://cris.vtt.fi/en/publications/9e0e18a8-e2bf-4a3e-9ad5-125329c5150e
https://publications.vtt.fi/pdf/publications/1995/P243.pdf

Applying reliability models to the maintenance of Space Shuttle software

Authors: Schneidewind, Norman F.

Contributors: Information Sciences (IS)

Subject Terms: COMPUTER SYSTEMS PROGRAMS, MAINTENANCE, PERFORMANCE PREDICTION, RELIABILITY ANALYSIS, SOFTWARE RELIABILITY, SPACE SHUTTLES, AVIONICS, SOFTWARE ENGINEERING

File Description: application/pdf

Relation: NASA. Goddard Space Flight Center, Proceedings of the Seventeenth Annual Software Engineering Workshop; p. 18 p; 19940006962; https://hdl.handle.net/10945/60113; https://ntrs.nasa.gov/search.jsp?R=19940006962

Availability: https://hdl.handle.net/10945/60113
https://ntrs.nasa.gov/search.jsp?R=19940006962

Execution-Based Model Checking of Interrupt-Based Systems

Authors: Drusinsky, Doron, Havelund, Klaus

Contributors: Ames Research Center

Subject Terms: TEMPORAL LOGIC, MATHEMATICAL MODELS, PROGRAM VERIFICATION (COMPUTERS), COMPUTER SYSTEMS PROGRAMS, OPERATING SYSTEMS (COMPUTERS), JAVA (PROGRAMMING LANGUAGE), REAL TIME OPERATION, APPLICATIONS PROGRAMS (COMPUTERS), RUN TIME (COMPUTERS), SOFTWARE DEVELOPMENT TOOLS

File Description: application/pdf

Relation: 20040010841; https://hdl.handle.net/10945/60082; https://ntrs.nasa.gov/search.jsp?R=20040010841

Availability: https://hdl.handle.net/10945/60082
https://ntrs.nasa.gov/search.jsp?R=20040010841

Information technology and economic modelling: A joint Finnish-Soviet symposium

Authors: Uuspää, Pentti, Pulkkis, Göran

Subject Terms: applications of mathematics, information systems, proceedings, computer programs, econometrics, economic analysis, Russia, Soviet Union, information technology, meetings, computer systems hardware, mathematical models, Finland, economic models, operations research, computer systems programs

Access URL: http://juuli.fi/Record/0392071292

Rakennusten lämpöteknisen suunnittelun ja ylläpidon simulointityökalun kehitysperusteet

Authors: Karjalainen, Sami, Kärki, Satu, Salsbury, Tim, Tuhkanen, Reima

Source: Karjalainen, S, Kärki, S, Salsbury, T & Tuhkanen, R 1999, Rakennusten lämpöteknisen suunnittelun ja ylläpidon simulointityökalun kehitysperusteet. VTT Tiedotteita - Meddelanden - Research Notes, no. 1943, VTT Technical Research Centre of Finland, Espoo. < https://publications.vtt.fi/pdf/tiedotteet/1999/T1943.pdf >

Subject Terms: simulation, default value library, life cycle, buildings, thermal behavior, validation, computer systems programs

Relation: info:eu-repo/semantics/altIdentifier/isbn/951-38-5421-3

Availability: https://cris.vtt.fi/en/publications/7e92652d-0b47-4687-ad5e-977970eae2b6
https://publications.vtt.fi/pdf/tiedotteet/1999/T1943.pdf

Rakennusten lämpöteknisen suunnittelun ja ylläpidon simulointityökalun kehitysperusteet

Authors: Tuhkanen Reima, Karjalainen Sami, Kärki Satu, Salsbury Tim

Subject Terms: validation, life cycle, thermal behavior, simulation, default value library, buildings, computer systems programs

Access URL: https://cris.vtt.fi/en/publications/7e92652d-0b47-4687-ad5e-977970eae2b6

Rakennusten lämpöteknisen suunnittelun ja ylläpidon simulointityökalun kehitysperusteet

Authors: Kärki, Satu, Salsbury, Tim, Tuhkanen, Reima, Karjalainen, Sami

Subject Terms: ta212, validation, life cycle, thermal behavior, simulation, default value library, buildings, computer systems programs

Access URL: http://juuli.fi/Record/0390130799

Developing application frameworks for mission-critical software: Using space applications as an example.

Authors: Ihme, Tuomas, Kumara, Pekka, Suihkonen, Keijo, Holsti, Niklas, Paakko, Matti

Subject Terms: software, object-oriented analysis, space software, object-oriented design, computer systems programs

Access URL: https://cris.vtt.fi/en/publications/67139ff8-2675-4c1a-be6e-3d9b4b4da54a

Developing application frameworks for mission-critical software: Using space applications as an example

Authors: Kumara, Pekka, Suihkonen, Keijo, Holsti, Niklas, Paakko, Matti, Ihme, Tuomas

Subject Terms: ta113, software, object-oriented analysis, space software, object-oriented design, computer systems programs

Access URL: http://juuli.fi/Record/0390284098

Rakennuskannan energiankulutus Suomessa

Authors: Nippala, Eero, Heljo, Juhani, Jaakkonen, Liisa, Lehtinen, Erkki

Subject Terms: construction, computation, future, evaluation, databases, buildings, building stock, models, energy saving, energy consumption, calculations, SDG 7 - Affordable and Clean Energy, predictions, Finland, energy, computer systems programs

Access URL: https://cris.vtt.fi/en/publications/5e507f3d-f02e-4c88-aebd-c8fd878b44eb

Ohjelmoitavan elektroniikan turvallisuuden arviointi

Authors: Tiusanen, Risto, Hietikko, Marita, Kivipuro, Maarit

Subject Terms: safety, safety devices, evaluation, reliability, safety engineering, electronics, methods, computer programming, automatic control equipment, traffic control, microprocessors, telecommunication, accident prevention, control systems, computer systems programs

Access URL: https://cris.vtt.fi/en/publications/1dd3d0ad-82b2-4b4d-998f-2091c21ca0fd

Ohjelmoitavan elektroniikan turvallisuuden arviointi

Authors: Hietikko, Marita, Kivipuro, Maarit, Tiusanen, Risto

Subject Terms: safety, safety devices, evaluation, reliability, safety engineering, electronics, methods, traffic control, computer programming, automatic control equipment, telecommunication, microprocessors, accident prevention, control systems, computer systems programs

Access URL: http://juuli.fi/Record/0391043594

Ohjelmoitavan automaation kelpoistamiseen soveltuvia standardeja ja ohjeita

Authors: Haapanen, Pentti, Maskuniitty, Matti

Subject Terms: safety, validity, automation control, reliability, risk analysis, quality assurance, process control, automatic control equipment, regulations, specifications, nuclear power plants, standars, verifying, automation, computer systems programs

Access URL: http://juuli.fi/Record/0391878793

CAD-järjestelmien välinen tiedonsiirto

Authors: Koponen, Matti, Valta, Kyösti

Subject Terms: design, engineering drawings, CAD, data transmission, computer programs, data processing, computer systems programs, drawings

Access URL: https://cris.vtt.fi/en/publications/6790d96a-472f-4b7a-adf1-e2bd19964351

FEM and fatigue life calculation using the PC-based NISA II/ENDURE -software package

Authors: Kähönen, Asko

Subject Terms: computation, fatigue life, crack initiation, calculations, fatigue (materials), loads (forces), crack propagation, finite element analysis, computer programs, computer systems programs

Access URL: http://juuli.fi/Record/0392216391
https://cris.vtt.fi/en/publications/954c6ce5-2c42-471b-b560-ac93202e6622

Application management requirements for embedded software:Licentiate thesis

Authors: Mäkäräinen, Minna

Source: Mäkäräinen, M 1996, 'Application management requirements for embedded software : Licentiate thesis', Licentiate Degree, University of Oulu, Espoo.

Subject Terms: computer systems programs, computer programs, management, requirements, utilization, organizations, development, methods, analyzing

Relation: info:eu-repo/semantics/altIdentifier/isbn/951-38-4944-9

Availability: https://cris.vtt.fi/en/publications/e3e72d12-9837-4b72-b3c2-235dcad9fd01

Computer aided urban planning: Seminar in a co-operation project between Finland and CMEA-countries

Authors: Tihlman, Tiina, Mäkinen, Annikki

Subject Terms: regional planning, SDG 11 - Sustainable Cities and Communities, urban planning, computer systems programs

Access URL: http://juuli.fi/Record/0392943989