Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
2. : Esercizio (Parte tecnica). II, 383 p.: ill.
| 2. : Esercizio (Parte tecnica). II, 383 p.: ill. |
| Autore | Grismayer, Egisto |
| Pubbl/distr/stampa | Roma : R. Scuola d'applicazione per gli ingegneri, 1912-13- |
| Descrizione fisica | v. ; 25 cm |
| Disciplina | 625.16 |
| Soggetto non controllato | Ferrovie - Servizio movimento |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000221810403321 |
Grismayer, Egisto
|
||
| Roma : R. Scuola d'applicazione per gli ingegneri, 1912-13- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CENELEC 50128 and IEC 62279 standards / / Jean-Louis Boulanger
| CENELEC 50128 and IEC 62279 standards / / Jean-Louis Boulanger |
| Autore | Boulanger Jean-Louis |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : iSTE/Wiley, , 2015 |
| Descrizione fisica | 1 online resource (380 p.) |
| Disciplina | 625.16 |
| Collana | Control, systems and industrial engineering series |
| Soggetto topico |
Electric cables - Standards
Electric wiring - Standards |
| ISBN | 1-119-00505-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Title Page; Copyright ; Contents; Introduction; I.1. Objective; I.2. Reminder; I.3. Overview; 1: From the System to the Software; 1.1. Introduction; 1.2. Command/control system; 1.3. System; 1.4. Software application; 1.4.1. What is software?; 1.4.2. Different types of software; 1.4.3. The software application in its proper context; 1.5. Conclusion; 2: Railway Standards; 2.1. Introduction; 2.2. Generic standards; 2.2.1. Introduction; 2.2.2. Safety levels; 2.3. History between CENELEC and the IEC; 2.4. CENELEC referential framework; 2.4.1. Introduction; 2.4.2. Description
2.4.3. Implementation2.4.4. Software safety; 2.4.5. Safety versus availability; 2.5. EN 50155 standard; 2.6. CENELEC 50128; 2.6.1. Introduction; 2.6.2. SSIL management; 2.6.2.1. SSIL attribution; 2.6.2.2. Choice of SSIL; 2.6.3. Comparison of 2001 and 2011 versions; 2.6.3.1. CENELEC 50128:2001; 2.6.3.2. EN 50128:2011; 2.7. Conclusion; 3: Risk and Safety Integrity Level; 3.1. Introduction; 3.2. Basic definitions; 3.3. Safety enforcement; 3.3.1. What is safety?; 3.3.2. Safety management; 3.3.3. Safety integrity; 3.3.4. Determination of the SIL; 3.3.5. SIL table; 3.3.6. Allocation of SILs 3.3.7. SIL management3.3.8. Software SIL; 3.3.9. Iterative process; 3.3.10. Identification of safety requirements; 3.4. In IEC 61508 and IEC 61511; 3.4.1. Risk graph; 3.4.2. LOPA; 3.4.3. Overview; 3.5. Conclusion; 4: Software Assurance; 4.1. Introduction; 4.2. Prerequisites; 4.3. Quality assurance; 4.3.1. Introduction; 4.3.2. Quality assurance management; 4.3.2.1. Prescriptions of standard in force; 4.3.2.2. ISO 9001:2008; 4.3.2.3. Indicator; 4.3.3. Realization of a software application; 4.3.4. Software quality assurance plan (SQAP); 4.4. Organization; 4.4.1. Typical organization 4.4.2. Skill management4.5. Configuration management; 4.6. Safety assurance management; 4.7. Verification and validation; 4.7.1. Introduction; 4.7.2. Verification; 4.7.2.1. Presentation; 4.7.2.2. Activity of verification; 4.7.2.3. Static analysis; 4.7.2.4. Dynamic analysis; 4.7.2.4.1. Test strategy; 4.7.2.4.2. Coverage of tests; 4.7.2.5. Summary; 4.7.3. Validation; 4.8. Independent assessment; 4.9. Tool qualification; 4.10. Conclusion; 4.11. Appendix A: list of quality documents to be produced; 4.12. Appendix B: structure of a software quality assurance plan; 5: Requirements Management 5.1. Introduction5.2. Requirements acquisition phase; 5.2.1. Introduction; 5.2.2. Requirements elicitation; 5.2.2.1. Introduction; 5.2.2.2. Identification of stakeholders; 5.2.2.3. Identification of sources; 5.2.3. Process of analysis and documentation; 5.2.3.1. Subdivision of the process; 5.2.3.2. Requirements analysis phase; 5.2.3.2.1. Objectives; 5.2.3.2.2. Elicitation techniques; 5.2.3.2.3. Interview techniques; 5.2.3.2.4. Prototyping and simulation techniques; 5.2.3.3. Description production phase; 5.2.4. Verification and validation of the requirements; 5.2.4.1. Introduction 5.2.4.2. Verification |
| Record Nr. | UNINA-9910131321303321 |
|
Boulanger Jean-Louis
|
||
| Hoboken, New Jersey : , : iSTE/Wiley, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CENELEC 50128 and IEC 62279 standards / / Jean-Louis Boulanger
| CENELEC 50128 and IEC 62279 standards / / Jean-Louis Boulanger |
| Autore | Boulanger Jean-Louis |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : iSTE/Wiley, , 2015 |
| Descrizione fisica | 1 online resource (380 p.) |
| Disciplina | 625.16 |
| Collana | Control, systems and industrial engineering series |
| Soggetto topico |
Electric cables - Standards
Electric wiring - Standards |
| ISBN | 1-119-00505-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Title Page; Copyright ; Contents; Introduction; I.1. Objective; I.2. Reminder; I.3. Overview; 1: From the System to the Software; 1.1. Introduction; 1.2. Command/control system; 1.3. System; 1.4. Software application; 1.4.1. What is software?; 1.4.2. Different types of software; 1.4.3. The software application in its proper context; 1.5. Conclusion; 2: Railway Standards; 2.1. Introduction; 2.2. Generic standards; 2.2.1. Introduction; 2.2.2. Safety levels; 2.3. History between CENELEC and the IEC; 2.4. CENELEC referential framework; 2.4.1. Introduction; 2.4.2. Description
2.4.3. Implementation2.4.4. Software safety; 2.4.5. Safety versus availability; 2.5. EN 50155 standard; 2.6. CENELEC 50128; 2.6.1. Introduction; 2.6.2. SSIL management; 2.6.2.1. SSIL attribution; 2.6.2.2. Choice of SSIL; 2.6.3. Comparison of 2001 and 2011 versions; 2.6.3.1. CENELEC 50128:2001; 2.6.3.2. EN 50128:2011; 2.7. Conclusion; 3: Risk and Safety Integrity Level; 3.1. Introduction; 3.2. Basic definitions; 3.3. Safety enforcement; 3.3.1. What is safety?; 3.3.2. Safety management; 3.3.3. Safety integrity; 3.3.4. Determination of the SIL; 3.3.5. SIL table; 3.3.6. Allocation of SILs 3.3.7. SIL management3.3.8. Software SIL; 3.3.9. Iterative process; 3.3.10. Identification of safety requirements; 3.4. In IEC 61508 and IEC 61511; 3.4.1. Risk graph; 3.4.2. LOPA; 3.4.3. Overview; 3.5. Conclusion; 4: Software Assurance; 4.1. Introduction; 4.2. Prerequisites; 4.3. Quality assurance; 4.3.1. Introduction; 4.3.2. Quality assurance management; 4.3.2.1. Prescriptions of standard in force; 4.3.2.2. ISO 9001:2008; 4.3.2.3. Indicator; 4.3.3. Realization of a software application; 4.3.4. Software quality assurance plan (SQAP); 4.4. Organization; 4.4.1. Typical organization 4.4.2. Skill management4.5. Configuration management; 4.6. Safety assurance management; 4.7. Verification and validation; 4.7.1. Introduction; 4.7.2. Verification; 4.7.2.1. Presentation; 4.7.2.2. Activity of verification; 4.7.2.3. Static analysis; 4.7.2.4. Dynamic analysis; 4.7.2.4.1. Test strategy; 4.7.2.4.2. Coverage of tests; 4.7.2.5. Summary; 4.7.3. Validation; 4.8. Independent assessment; 4.9. Tool qualification; 4.10. Conclusion; 4.11. Appendix A: list of quality documents to be produced; 4.12. Appendix B: structure of a software quality assurance plan; 5: Requirements Management 5.1. Introduction5.2. Requirements acquisition phase; 5.2.1. Introduction; 5.2.2. Requirements elicitation; 5.2.2.1. Introduction; 5.2.2.2. Identification of stakeholders; 5.2.2.3. Identification of sources; 5.2.3. Process of analysis and documentation; 5.2.3.1. Subdivision of the process; 5.2.3.2. Requirements analysis phase; 5.2.3.2.1. Objectives; 5.2.3.2.2. Elicitation techniques; 5.2.3.2.3. Interview techniques; 5.2.3.2.4. Prototyping and simulation techniques; 5.2.3.3. Description production phase; 5.2.4. Verification and validation of the requirements; 5.2.4.1. Introduction 5.2.4.2. Verification |
| Record Nr. | UNINA-9910827784803321 |
|
Boulanger Jean-Louis
|
||
| Hoboken, New Jersey : , : iSTE/Wiley, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Costruzione ed esercizio delle ferrovie / Felice Corini
| Costruzione ed esercizio delle ferrovie / Felice Corini |
| Autore | Corini, Felice |
| Pubbl/distr/stampa | Torino : UTET, 1950 |
| Descrizione fisica | 2 v. in 4 t. : ill. ; 25 cm |
| Disciplina | 625.16 |
| Soggetto non controllato |
Trazione elettrica ferroviaria
Trasporti ferroviari - Economia Treni - Locomozione |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Nota di contenuto | 1.: Tecnica ed economia dei trasporti ferroviari 1.1.: Meccanica della locomozione terrestre 1.2.: Impianti fissi ed impianti di segnalamento 1.3.: Trazione termica e materiale mobile. Movimento e traffico. Economia dei trasporti 2.: Trazione elettrica. Costruzione della linea. Materiale mobile |
| Record Nr. | UNINA-990000043390403321 |
|
Corini, Felice
|
||
| Torino : UTET, 1950 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mezzi per proteggere l'esercizio delle strade ferrate, chiusura delle strade ferrate / [Pietro Oppizzi]
| Mezzi per proteggere l'esercizio delle strade ferrate, chiusura delle strade ferrate / [Pietro Oppizzi] |
| Autore | Oppizzi, Pietro |
| Pubbl/distr/stampa | Torino : UTET, 1900 |
| Descrizione fisica | 32 p., 6 c. di tav. : ill. ; 31 cm |
| Disciplina | 625.16 |
| Soggetto non controllato | Impianti ferroviari di sicurezza |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000220550403321 |
|
Oppizzi, Pietro
|
||
| Torino : UTET, 1900 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||