Jurnal Singkat

https://chatgpt.com/share/6773ca3f-f444-8007-95f3-6b8f576525df https://x.com/stojaaan/status/1874012894914109741 Airbus employs the CompCert formally verified C compiler in the development of safety-critical avionics software. Specifically, at their Toulouse facility, Airbus has integrated CompCert into several projects, although the exact details of these projects remain undisclosed. https://www.absint.com/compcert/index.htm The decision to adopt CompCert was driven by a need to enhance performance, particularly by reducing the Worst-Case Execution Time (WCET) of their software. A feasibility study conducted between 2012 and 2013 demonstrated that using CompCert led to a 12% improvement in WCET, surpassing their initial target of 11%. https://projects.laas.fr/IFSE/FMF/J3/slides/P05_Jean_Souyiris.pdf By utilizing CompCert, Airbus benefits from the compiler's formal verification, which mathematically ensures that the compiled code preserves the semantics of the source code. This lev...

 https://www.montana.edu/uit/wiringguidelines/ Montana State University - Bozeman 0  CatCard Installation Prep Standards 1. Telecommunications Rooms 2. Telecommunications Room Termination Equipment 3. Telecommunications Workstation Outlet Termination Equipment 4. Telecommunications Horizontal Cabling and Support Structure 5. Telecommunications Cable 6. Installation Guidelines for Telecommunications Cable 7. Termination of Telecommunications Cables 8. Testing of Telecommunications Category 6 Cables 9. Telecommunications Labeling and Documentation 10. Telecommunications Backbone and Riser Cables 11. Grounding and Bonding 12. Telecommunications AutoCAD Drawing Legend