Search

Telomere binding protein Stn1 forms the CST (Cdc13/CTC1-STN1-TEN1) complex in budding yeast and mammals. Likewise, fission yeast Stn1 and Ten1 form a complex indispensable for telomere protection. We have previously reported that stn1-1, a high-temperature sensitive mutant, rapidly loses telomere DNA at the restrictive temperature due to frequent failure of replication fork progression at telomeres and subtelomeres, both containing repetitive sequences. It is unclear, however, whether Stn1 is required for maintaining other repetitive DNAs such as ribosomal DNA. In this study, we have demonstrated that stn1-1 cells, even when grown at the permissive temperature, exhibited dynamic rearrangements in the telomere-proximal regions of subtelomere and ribosomal DNA repeats. Furthermore, Rad52 and γH2A accumulation was observed at ribosomal DNA repeats in the stn1-1 mutant. The phenotypes exhibited by the stn1-1 allele were largely suppressed in the absence of Reb1, a replication fork barrier-forming protein, suggesting that Stn1 is involved in the maintenance of the arrested replication forks. Collectively, we propose that Stn1 maintains the stability of repetitive DNAs at subtelomeres and rDNA regions.

We introduce a goal-aware extension of responsibility-sensitive safety (RSS), a recent methodology for rule-based safety guarantee for automated driving systems (ADS). Making RSS rules guarantee goal achievement -- in addition to collision avoidance as in the original RSS -- requires complex planning over long sequences of manoeuvres. To deal with the complexity, we introduce a compositional reasoning framework based on program logic, in which one can systematically develop RSS rules for smaller subscenarios and combine them to obtain RSS rules for bigger scenarios. As the basis of the framework, we introduce a program logic dFHL that accommodates continuous dynamics and safety conditions. Our framework presents a dFHL-based workflow for deriving goal-aware RSS rules; we discuss its software support, too. We conducted experimental evaluation using RSS rules in a safety architecture. Its results show that goal-aware RSS is indeed effective in realising both collision avoidance and goal achievement., 33 pages, 18 figures, 1 table. Accepted for publication in IEEE Transactions on Intelligent Vehicles